<html>
<head>
<title>CRefine</title>
<link rel="stylesheet" type="text/css" href="../../style.css" />
</head>
<body>
<table>
<tr height="10">
<td>
</td>
</tr>
<tr>
<td class="tituloAzul">
Latex/Unicode
</td>
</tr>
<tr>
<td class="grande" width="500">
<br>
<div align="justify">
CRefine can display formulas in two formats: LaTeX and Unicode (pretty-printing). The LaTeX format
is commonly used in academia. The Unicode format is more accessible because it displays
the symbols as they are originally in Circus.
<br>
During the process of loading the initial input file in LaTeX format, CRefine pre-formats the program
in the screen in order to make the selection of terms on the screen easier and, consequently, all the development
process.
<br>
One can change the exhibition format easily by selecting the desired format in the menu bar.
<br>
<br>
<img border = "0" src="../images/latex-unicode.jpg" align="center">
<br>
<br>
After selecting a new format, all windows are updated to the new format.
<br>
<br>
<img border = "0" src="../images/unicode-latex.jpg" align="center">
<br>
<br>
</div>
</td>
</tr>
</table>
</body>
</html>