The Neptune LogoNEPTUNE

The process The menu Navigation between source and output Tracker window and changes Log window Query window and query resolution Author notes, comments File upload Pre/post-edited sources Pre/post-edited output Error-stop mode
General editing Heading levels Lists Theorems and similar environments Math Figures, subfigures, inline figures Tables and informal tabulars Bibliographic items Labels and cross-references Citations

Theorems and similar environments

All the theorem creating commands in LATEX will work correctly and can be used in Neptune.

However, there are three more commands to create theorem like environments:

  • \newdefinition: creates a theorem like environment; the key difference is that the statement font is upright, unlike italic in the standard theorem. All the options in the theorem will work here too.
  • \newproof: creates a Proof environment with no counters and with upright font.
  • \newitproof: is similar to \newproof, the only difference being the font is in italic shape.