<?php print $latex; ?>