The LaTeX is a very popular document typesetting system Its power of expression is so rich that one can write a high-quality document whatever he wants. Especially, the LaTeX is useful when the document contains much of mathematical formulae. Due to the ability of mathematical expressions, the LaTeX is frequently used in the programming language research groups.
The LanTeX which is based on the LaTeX, was designed to give a method for writing a document which describes a programming language syntax and semantics.

The LanTeX system works like a kind of environment in the LaTeX. The codes written in the LanTeX style will be translated to the LaTeX code by the LanTeX translator. (This translator is the program that you have to download.) And then, you can get a .dvi file by compiling the result of translation(.tex file).

The input file must have extension .l. You can translate the source LanTeX file to the LaTeX file by just typing "lantex filename.l" in the command line.
Now, you can get a .dvi file by typing "latex filename.tex".

• The LanTeX codes start with "\begin{lantex}" and end with "\end{lantex}". Only the codes between two commands are translated to the LaTeX codes. The last part has to be written in the LaTeX.

• A paragraph is enclosed with "\[" and "\]".

• The shape of a paragraph is preserved in the final document(.dvi file). In other words, you can write a shape of source file that you want to get as a result. The example of this feature will be shown in the last of this page.

• The font styles which is frequently used for the programming language syntax and semantics can be defined by user. The fonts are "tt", "italic", and "roman". You can express characters of the font by starting with each font sign. A font sign can be any special character or an alphabet. And the font sign is defined by these commands.
  "\tlfont{char}" for tt font.
  "\ntfont{char}" for italic font.
  "\rmfont{char}" for roman font.
  For example, if the definition commands are like these,
  "\tlfont{.}"
  "\ntfont{'}"
  "\rmfont{/}"
  then you can write codes, ".abc" in tt font, "'abc" in italic font, "/abc" in roman font.

• Symbols in math mode can be simplified to a short string you want. This simplification can be also defined by user using "\newsymbol{str}{math_symbol}" command. str can be any string, and math_symbol can be a symbol in LaTeX math mode.
  The defined symbol must be as a word(distinguished with spaces both sides) to be used as a symbol.
  Here is some predefined symbols.
  

• The font sign and the symbol macro can be redefined, and have an effect after the definition command is written.

• To express the characters or strings user- or pre- defined, you have to use escape character "\".

• In LanTeX environment, you can use the LaTeX code with no restriction.

• Syntax representation

  source		result
  	=>