<script type="text/javascript" src="../../../../js/google-code-prettify/run_prettify.js"></script> <script type="text/javascript" src="../../../../js/google-code-prettify/lang-tex.js"></script>