Latex/Unicode
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. 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. One can change the exhibition format easily by selecting the desired format in the menu bar. After selecting a new format, all windows are updated to the new format.