1 /////////////////////////////////////////////////////////////////////////////
3 // Purpose: Latex conversion header
4 // Author: Julian Smart
8 // Copyright: (c) Julian Smart
9 // Licence: wxWindows licence
10 /////////////////////////////////////////////////////////////////////////////
29 * We have a list of macro definitions which we must define
30 * in advance to enable the parsing to recognize macros.
35 #define FORBID_ABSOLUTELY 2
37 class TexMacroDef
: public wxObject
46 TexMacroDef(int the_id
, char *the_name
, int n
, bool ig
, bool forbidLevel
= FORBID_OK
);
50 #define CHUNK_TYPE_MACRO 1
51 #define CHUNK_TYPE_ARG 2
52 #define CHUNK_TYPE_STRING 3
55 We have nested lists to represent the Tex document.
56 Each element of a list of chunks can be one of:
58 - a macro with/without arguments. Arguments are lists of TexChunks.
60 Example (\toplevel is implicit but made explicit here):
62 AddMacroDef(ltMYMAT, "mymat", 2);
64 \toplevel{The cat sat on the \mymat{very coarse and {\it cheap}}{mat}}.
68 TexChunk: type = macro, name = toplevel, no_args = 1
71 TexChunk: type = argument
74 TexChunk: type = string, value = "The cat sat on the "
75 TexChunk: type = macro, name = mymat, no_args = 2
78 TexChunk: type = argument
81 TexChunk: type = string, value = "very coarse and "
82 TexChunk: type = macro, name = it, no_args = 1
85 TexChunk: type = argument
88 TexChunk: type = string, value = "cheap"
90 TexChunk: type = argument
93 TexChunk: type = string, value = mat
106 bool optional
; // Is an optional argument
109 TexChunk(int the_type
, TexMacroDef
*the_def
= NULL
);
110 TexChunk(TexChunk
& toCopy
);
111 virtual ~TexChunk(void);
114 // Represents a topic, used for generating a table of contents file (.cnt).
115 // Also for storing keywords found in a topic, a list of which is then inserted
116 // into the topic in the next pass.
117 class TexTopic
: public wxObject
120 // This flag is set to indicate that the topic has children.
121 // If this is the case, we know to insert a 'book' icon at this level,
122 // not just a 'page' icon. We don't want to have to open a book only
123 // to find there's only one page in it. We might force a book to be used if
124 // a top-level topic has no children (?)
127 wxStringList
*keywords
;
128 TexTopic(char *f
= NULL
);
131 extern wxHashTable TopicTable
;
132 void AddKeyWordForTopic(char *topic
, char *entry
, char *filename
= NULL
);
133 void ClearKeyWordTable(void);
135 extern TexChunk
*TopLevel
;
136 extern wxHashTable MacroDefs
;
137 extern wxStringList IgnorableInputFiles
; // Ignorable \input files, e.g. psbox.tex
139 bool read_a_line(char *buf
);
140 bool TexLoadFile(char *filename
);
141 int ParseArg(TexChunk
*thisArg
, wxList
& children
, char *buffer
, int pos
,
142 char *environment
= NULL
, bool parseArgToBrace
= TRUE
, TexChunk
*customMacroArgs
= NULL
);
143 int ParseMacroBody(char *macro_name
, TexChunk
*parent
, int no_args
,
144 char *buffer
, int pos
, char *environment
= NULL
, bool parseArgToBrace
= TRUE
, TexChunk
*customMacroArgs
= NULL
);
145 void TraverseDocument(void);
146 void TraverseFromChunk(TexChunk
*chunk
, wxNode
*thisNode
= NULL
, bool childrenOnly
= FALSE
);
147 #define TraverseChildrenFromChunk(arg) TraverseFromChunk(arg, NULL, TRUE)
148 void SetCurrentOutput(FILE *fd
);
149 void SetCurrentOutputs(FILE *fd1
, FILE *fd2
);
150 extern FILE *CurrentOutput1
;
151 extern FILE *CurrentOutput2
;
152 void AddMacroDef(int the_id
, char *name
, int n
, bool ignore
= FALSE
, bool forbidden
= FALSE
);
153 void TexInitialize(int bufSize
);
154 void TexCleanUp(void);
155 void TexOutput(char *s
, bool ordinaryText
= FALSE
);
156 char *GetArgData(TexChunk
*chunk
);
157 char *GetArgData(void); // Get the string for the current argument
158 int GetNoArgs(void); // Get the number of arguments for the current macro
159 TexChunk
*GetArgChunk(void); // Get the chunk for the current argument
160 TexChunk
*GetTopLevelChunk(void); // Get the chunk for the top level
161 TexChunk
*GetNextChunk(void); // Look ahead to the next chunk
162 bool IsArgOptional(void); // Is this argument an optional argument?
163 void DefineDefaultMacros(void); // Optional set of default macros
164 int GetCurrentColumn(void); // number of characters on current line
165 char *ConvertCase(char *s
); // Convert case, according to upperCaseNames setting.
166 extern wxPathList TexPathList
; // Path list, can be used for file searching.
168 // Define a variable value from the .ini file
169 char *RegisterSetting(char *settingName
, char *settingValue
, bool interactive
= TRUE
);
171 // Major document styles
172 #define LATEX_REPORT 1
173 #define LATEX_ARTICLE 2
174 #define LATEX_LETTER 3
176 #define LATEX_SLIDES 5
178 extern TexChunk
*DocumentTitle
;
179 extern TexChunk
*DocumentAuthor
;
180 extern TexChunk
*DocumentDate
;
181 extern int DocumentStyle
;
182 extern int MinorDocumentStyle
;
183 extern char *BibliographyStyleString
;
184 extern char *DocumentStyleString
;
185 extern char *MinorDocumentStyleString
;
187 extern int normalFont
;
188 extern int smallFont
;
190 extern int largeFont1
;
191 extern int LargeFont2
;
192 extern int LARGEFont3
;
193 extern int hugeFont1
;
194 extern int HugeFont2
;
195 extern int HUGEFont3
;
198 * USER-ADJUSTABLE SETTINGS
202 // Section font sizes
203 extern int chapterFont
;
204 extern int sectionFont
;
205 extern int subsectionFont
;
206 extern int titleFont
;
207 extern int authorFont
;
208 extern bool winHelp
; // Output in Windows Help format if TRUE, linear otherwise
209 extern bool isInteractive
;
210 extern bool runTwice
;
211 extern int convertMode
;
212 extern bool stopRunning
;
213 extern int mirrorMargins
;
214 extern bool headerRule
;
215 extern bool footerRule
;
216 extern int labelIndentTab
; // From left indent to item label (points)
217 extern int itemIndentTab
; // From left indent to item (points)
218 extern bool useUpButton
;
219 extern int htmlBrowseButtons
;
220 extern bool useHeadingStyles
; // Insert \s1, s2 etc.
221 extern bool useWord
; // Insert Word table of contents, etc. etc.
222 extern bool indexSubsections
; // put subsections in index
223 extern bool compatibilityMode
;
224 extern bool generateHPJ
; // Generate WinHelp HPJ file
225 extern char *winHelpTitle
; // Title for Windows Help file
226 extern int defaultTableColumnWidth
;
227 extern char *bitmapMethod
;
228 extern bool truncateFilenames
; // Truncate for DOS
229 extern int winHelpVersion
; // Version e.g. 4 for Win95
230 extern bool winHelpContents
; // Generate .cnt file
231 extern bool htmlIndex
; // Generate .htx HTML index file
232 extern bool htmlFrameContents
; // Use frames for HTML contents page
233 extern int contentsDepth
; // Depth of contents for linear RTF files
234 extern bool upperCaseNames
; // Filenames; default is lower case
235 extern char *backgroundImageString
; // HTML background image
236 extern char *backgroundColourString
; // HTML background colour
237 extern char *textColourString
; // HTML text colour
238 extern char *linkColourString
; // HTML link colour
239 extern char *followedLinkColourString
; // HTML followed link colour
240 extern bool combineSubSections
; // Stop splitting files below section
241 extern bool htmlWorkshopFiles
; // generate HTML Help Workshop project files
243 // Names to help with internationalisation
244 extern char *ContentsNameString
;
245 extern char *AbstractNameString
;
246 extern char *GlossaryNameString
;
247 extern char *ReferencesNameString
;
248 extern char *FiguresNameString
;
249 extern char *TablesNameString
;
250 extern char *FigureNameString
;
251 extern char *TableNameString
;
252 extern char *IndexNameString
;
253 extern char *ChapterNameString
;
254 extern char *SectionNameString
;
255 extern char *SubsectionNameString
;
256 extern char *SubsubsectionNameString
;
257 extern char *UpNameString
;
260 * HTML button identifiers: what kind of browse buttons
261 * are placed in HTML files, if any.
265 #define HTML_BUTTONS_NONE 0
266 #define HTML_BUTTONS_BITMAP 1
267 #define HTML_BUTTONS_TEXT 2
274 extern int chapterNo
;
275 extern int sectionNo
;
276 extern int subsectionNo
;
277 extern int subsubsectionNo
;
282 extern int ParIndent
;
286 // Set by client and by Tex2Any
287 extern TexChunk
*currentSection
;
289 // Header/footers/pagestyle
290 extern TexChunk
* LeftHeaderOdd
;
291 extern TexChunk
* LeftFooterOdd
;
292 extern TexChunk
* CentreHeaderOdd
;
293 extern TexChunk
* CentreFooterOdd
;
294 extern TexChunk
* RightHeaderOdd
;
295 extern TexChunk
* RightFooterOdd
;
296 extern TexChunk
* LeftHeaderEven
;
297 extern TexChunk
* LeftFooterEven
;
298 extern TexChunk
* CentreHeaderEven
;
299 extern TexChunk
* CentreFooterEven
;
300 extern TexChunk
* RightHeaderEven
;
301 extern TexChunk
* RightFooterEven
;
302 extern char * PageStyle
;
304 // Repeat the currentSection, either real (Chapter) or simulated (References)
305 extern void OutputCurrentSection(void);
306 extern void OutputCurrentSectionToString(char *buf
);
307 extern void OutputChunkToString(TexChunk
*chunk
, char *buf
);
309 extern char *fakeCurrentSection
;
311 // Called by Tex2Any to simulate a section
312 extern void FakeCurrentSection(char *fakeSection
, bool addToContents
= TRUE
);
315 * Local to Tex2Any library
319 extern char *currentArgData
;
320 extern bool haveArgData
; // If TRUE, we're simulating the data.
321 void StartSimulateArgument(char *data
);
322 void EndSimulateArgument(void);
329 // Called on start/end of macro examination
330 void OnMacro(int macroId
, int no_args
, bool start
);
332 // Called on start/end of argument examination.
333 // Return TRUE at the start of an argument to traverse
334 // (output) the argument.
335 bool OnArgument(int macroId
, int arg_no
, bool start
);
337 // Default: library-defined
338 void DefaultOnMacro(int macroId
, int no_args
, bool start
);
340 // Default: library-defined
341 bool DefaultOnArgument(int macroId
, int arg_no
, bool start
);
344 void OnError(char *msg
);
346 // Called for information
347 void OnInform(char *msg
);
349 // Special yield wrapper
350 void Tex2RTFYield(bool force
= FALSE
);
357 // Look for \label macro, use this ref name if found or
358 // make up a topic name otherwise.
359 char *FindTopicName(TexChunk
*chunk
);
360 // Force the current topic to be this (e.g. force 'references' label).
361 void ForceTopicName(char *name
);
362 void ResetTopicCounter(void);
364 // Parse unit eg. 14, 12pt, 34cm and return value in points.
365 int ParseUnitArgument(char *unitArg
);
367 // Set small, large, normal etc. point sizes for reference size
368 void SetFontSizes(int pointSize
);
371 * Strip off any extension (dot something) from end of file,
372 * IF one exists. Inserts zero into buffer.
376 void StripExtension(char *buffer
);
379 * Reference structure
383 class TexRef
: public wxObject
386 char *refLabel
; // Reference label
387 char *refFile
; // Reference filename (can be NULL)
388 char *sectionNumber
; // Section or figure number (as a string)
389 char *sectionName
; // name e.g. 'section'
390 TexRef(char *label
, char *file
, char *section
, char *sectionN
= NULL
)
392 refLabel
= copystring(label
);
393 refFile
= file
? copystring(file
) : (char*) NULL
;
394 sectionNumber
= section
? copystring(section
) : copystring("??");
395 sectionName
= sectionN
? copystring(sectionN
) : copystring("??");
399 delete[] refLabel
; delete[] refFile
; delete[] sectionNumber
; delete[] sectionName
;
403 extern wxHashTable TexReferences
;
410 void AddTexRef(char *name
, char *file
= NULL
, char *sectionName
= NULL
,
411 int chapter
= 0, int section
= 0, int subsection
= 0, int subsubsection
= 0);
414 * Read and write reference file (.ref), to resolve refs for second pass.
417 void WriteTexReferences(char *filename
);
418 void ReadTexReferences(char *filename
);
425 class BibEntry
: public wxObject
431 * book, inbook, article, phdthesis, inproceedings, techreport
456 inline BibEntry(void)
479 extern wxList BibList
;
480 extern wxStringList CitationList
;
482 bool ReadBib(char *filename
);
483 void OutputBib(void);
484 void ResolveBibReferences(void);
485 void AddCitation(char *citeKey
);
486 TexRef
*FindReference(char *key
);
489 * Ability to customize, or at least suppress unknown macro errors
493 extern wxList CustomMacroList
;
495 #define CUSTOM_MACRO_IGNORE 0
496 #define CUSTOM_MACRO_OUTPUT 1
497 #define CUSTOM_MACRO_MARK 2
499 class CustomMacro
: public wxObject
505 inline CustomMacro(char *name
, int args
, char *body
)
508 macroName
= copystring(name
);
510 macroBody
= copystring(body
);
516 bool ReadCustomMacros(char *filename
);
517 void ShowCustomMacros(void);
518 CustomMacro
*FindCustomMacro(char *name
);
519 char *ParseMultifieldString(char *s
, int *pos
);
526 class ColourTableEntry
: public wxObject
534 ColourTableEntry(char *theName
, unsigned int r
, unsigned int g
, unsigned int b
);
535 ~ColourTableEntry(void);
538 extern wxList ColourTable
;
539 extern void AddColour(char *theName
, unsigned int r
, unsigned int g
, unsigned int b
);
540 extern int FindColourPosition(char *theName
);
541 // Converts e.g. "red" -> "#FF0000"
542 extern bool FindColourHTMLString(char *theName
, char *buf
);
543 extern void InitialiseColourTable(void);
546 #define ltADDCONTENTSLINE 2
547 #define ltADDTOCOUNTER 3
555 #define ltBACKSLASH 30
556 #define ltBASELINESKIP 31
559 #define ltBIBLIOGRAPHYSTYLE 34
560 #define ltBIBLIOGRAPHY 35
562 #define ltBACKSLASHRAW 37
563 #define ltBACKGROUND 38
564 #define ltBACKGROUNDCOLOUR 39
565 #define ltBACKGROUNDIMAGE 40
568 #define ltCAPTIONSTAR 50
571 #define ltCENTERLINE 53
572 #define ltCENTERING 54
574 #define ltCEXTRACT 56
575 #define ltCHAPTERHEADING 57
576 #define ltCHAPTERSTAR 58
581 #define ltCLEARDOUBLEPAGE 63
582 #define ltCLEARPAGE 64
584 #define ltCLIPSFUNC 66
585 #define ltCOLUMNSEP 67
587 #define ltCOPYRIGHT 69
593 #define ltCHAPTERHEADINGSTAR 73
596 #define ltDESCRIPTION 91
597 #define ltDESTRUCT 92
598 #define ltDOCUMENTSTYLE 93
599 #define ltDOCUMENT 94
600 #define ltDOUBLESPACE 95
601 #define ltDEFINECOLOUR 96
602 #define ltDEFINECOLOR 97
605 #define ltENUMERATE 121
606 #define ltEQUATION 122
607 #define ltEVENSIDEMARGIN 123
611 #define ltFLUSHLEFT 152
612 #define ltFLUSHRIGHT 153
613 #define ltFOOTHEIGHT 154
614 #define ltFOOTNOTE 155
615 #define ltFOOTSKIP 156
616 #define ltFRAMEBOX 157
617 #define ltFUNCTIONSECTION 158
619 #define ltFIGURESTAR 160
620 #define ltFOOTNOTESIZE 161
621 #define ltFOOTNOTEPOPUP 162
622 #define ltFANCYPLAIN 163
625 #define ltFOLLOWEDLINKCOLOUR 166
627 #define ltGLOSSARY 180
630 #define ltHEADHEIGHT 200
631 #define ltHELPGLOSSARY 201
632 #define ltHELPIGNORE 202
633 #define ltHELPONLY 203
634 #define ltHELPINPUT 204
635 #define ltHELPFONTFAMILY 205
636 #define ltHELPFONTSIZE 206
637 #define ltHELPREFN 207
638 #define ltHELPREF 208
642 #define ltHSPACESTAR 212
644 #define ltHSKIPSTAR 214
649 #define ltHTMLIGNORE 219
650 #define ltHTMLONLY 220
652 #define ltINCLUDEONLY 240
653 #define ltINCLUDE 241
656 #define ltITEMIZE 244
660 #define ltITEMSEP 248
661 #define ltINDENTED 249
662 #define ltIMAGEMAP 250
665 #define ltINSERTATLEVEL 253
676 #define ltLINEBREAK 287
677 #define ltLISTOFFIGURES 288
678 #define ltLISTOFTABLES 289
681 #define ltLATEXIGNORE 292
682 #define ltLATEXONLY 293
683 #define ltLOWERCASE 294
684 #define ltLBRACERAW 295
685 #define ltLINKCOLOUR 296
687 #define ltMAKEGLOSSARY 300
688 #define ltMAKEINDEX 301
689 #define ltMAKETITLE 302
690 #define ltMARKRIGHT 303
691 #define ltMARKBOTH 304
692 #define ltMARGINPARWIDTH 305
693 #define ltMARGINPAR 306
694 #define ltMARGINPARODD 307
695 #define ltMARGINPAREVEN 308
697 #define ltMEMBERSECTION 310
699 #define ltMULTICOLUMN 312
700 #define ltMARGINPARSEP 313
702 #define ltNEWCOUNTER 330
703 #define ltNEWLINE 331
704 #define ltNEWPAGE 332
706 #define ltNOINDENT 334
707 #define ltNOLINEBREAK 335
708 #define ltNOPAGEBREAK 336
709 #define ltNORMALSIZE 337
710 #define ltNORMALBOX 338
711 #define ltNORMALBOXD 339
712 #define ltNUMBEREDBIBITEM 340
714 #define ltONECOLUMN 360
715 #define ltODDSIDEMARGIN 361
717 #define ltPAGEBREAK 380
718 #define ltPAGEREF 381
719 #define ltPAGESTYLE 382
720 #define ltPAGENUMBERING 383
721 #define ltPARAGRAPHSTAR 384
722 #define ltPARAGRAPH 385
724 #define ltPARINDENT 387
725 #define ltPARSKIP 388
726 #define ltPARTSTAR 389
730 #define ltPICTURE 393
733 #define ltPRINTINDEX 396
734 #define ltPSBOXTO 397
736 #define ltPOPREFONLY 399
739 #define ltQUOTATION 421
741 #define ltRAGGEDBOTTOM 440
742 #define ltRAGGEDLEFT 441
743 #define ltRAGGEDRIGHT 442
750 #define ltRULEDROW 449
755 #define ltRTFIGNORE 454
756 #define ltRTFONLY 455
757 #define ltRBRACERAW 456
758 #define ltREGISTERED 457
761 #define ltSECTIONHEADING 471
762 #define ltSECTIONSTAR 472
763 #define ltSECTION 473
764 #define ltSETCOUNTER 474
766 #define ltSHORTCITE 476
767 #define ltSINGLESPACE 477
768 #define ltSLOPPYPAR 478
772 #define ltSUBITEM 482
773 #define ltSUBPARAGRAPHSTAR 483
774 #define ltSUBPARAGRAPH 484
775 #define ltSPECIAL 485
776 #define ltSUBSECTIONSTAR 486
777 #define ltSUBSECTION 487
778 #define ltSUBSUBSECTIONSTAR 488
779 #define ltSUBSUBSECTION 489
780 #define ltSCRIPTSIZE 490
781 #define ltSETHEADER 491
782 #define ltSETFOOTER 492
783 #define ltSIZEDBOX 493
784 #define ltSIZEDBOXD 494
785 #define ltSECTIONHEADINGSTAR 495
787 #define ltSETHOTSPOTCOLOUR 497
788 #define ltSETHOTSPOTCOLOR 498
789 #define ltSETHOTSPOTUNDERLINE 499
790 #define ltSETTRANSPARENCY 500
792 #define ltTABBING 510
793 #define ltTABLEOFCONTENTS 511
795 #define ltTABULAR 513
798 #define ltTEXTWIDTH 516
799 #define ltTEXTHEIGHT 517
800 #define ltTHEBIBLIOGRAPHY 518
801 #define ltTITLEPAGE 519
805 #define ltTOPMARGIN 523
806 #define ltTOPSKIP 524
809 #define ltTYPEOUT 527
810 #define ltTWOCOLUMN 528
811 #define ltTHEPAGE 529
812 #define ltTHECHAPTER 530
813 #define ltTHESECTION 531
814 #define ltTHISPAGESTYLE 532
816 #define ltTWOCOLWIDTHA 533
817 #define ltTWOCOLWIDTHB 534
818 #define ltTWOCOLSPACING 535
819 #define ltTWOCOLITEM 536
820 #define ltTWOCOLITEMRULED 537
821 #define ltTWOCOLLIST 538
822 #define ltTEXTCOLOUR 539
824 #define ltUNDERLINE 550
826 #define ltUPPERCASE 552
827 #define ltUSEPACKAGE 553
830 #define ltVERBATIMINPUT 571
831 #define ltVERBATIM 572
838 #define ltVSPACESTAR 579
839 #define ltVSKIPSTAR 580
842 #define ltVERBSTAR 583
844 #define ltWXCLIPS 600
845 #define ltWINHELPIGNORE 601
846 #define ltWINHELPONLY 602
848 #define ltXLPIGNORE 603
849 #define ltXLPONLY 604
852 #define ltBACKSLASHCHAR 621
854 #define ltFORWARDSLASH 623
855 #define ltUNDERSCORE 624
856 #define ltAMPERSAND 625
857 #define ltPERCENT 626
860 #define ltLPARENTH 629
861 #define ltRPARENTH 630
865 #define ltRANGLEBRA 634
866 #define ltLANGLEBRA 635
869 #define ltSINGLEQUOTE 638
870 #define ltBACKQUOTE 639
872 #define ltAT_SYMBOL 641
874 // Characters, not macros but with special Latex significance
875 #define ltSPECIALDOLLAR 660
876 #define ltSPECIALDOUBLEDOLLAR 661
877 #define ltSPECIALTILDE 662
878 #define ltSPECIALHASH 663
879 #define ltSPECIALAMPERSAND 664
880 #define ltSUPERTABULAR 665
883 #define ltACCENT_GRAVE 700
884 #define ltACCENT_ACUTE 701
885 #define ltACCENT_CARET 702
886 #define ltACCENT_UMLAUT 703
887 #define ltACCENT_TILDE 704
888 #define ltACCENT_DOT 705
889 #define ltACCENT_CADILLA 706
896 #define ltEPSILON 804
897 #define ltVAREPSILON 805
901 #define ltVARTHETA 809
913 #define ltVARSIGMA 821
915 #define ltUPSILON 823
922 #define ltCAP_GAMMA 830
923 #define ltCAP_DELTA 831
924 #define ltCAP_THETA 832
925 #define ltCAP_LAMBDA 833
928 #define ltCAP_SIGMA 836
929 #define ltCAP_UPSILON 837
930 #define ltCAP_PHI 838
931 #define ltCAP_PSI 839
932 #define ltCAP_OMEGA 840
934 // Binary operation symbols
939 #define ltSUBSETEQ 854
940 #define ltSQSUBSET 855
941 #define ltSQSUBSETEQ 856
949 #define ltSUPSETEQ 864
950 #define ltSQSUPSET 865
951 #define ltSQSUPSETEQ 866
963 #define ltPARALLEL 878
974 // Negated relation symbols (selected)
977 #define ltNOTSUBSET 892
980 #define ltLEFTARROW 900
981 #define ltLEFTARROW2 901
982 #define ltRIGHTARROW 902
983 #define ltRIGHTARROW2 903
984 #define ltLEFTRIGHTARROW 904
985 #define ltLEFTRIGHTARROW2 905
986 #define ltUPARROW 906
987 #define ltUPARROW2 907
988 #define ltDOWNARROW 908
989 #define ltDOWNARROW2 909
991 // Miscellaneous symbols
996 #define ltEMPTYSET 1004
999 #define ltPARTIAL 1007
1001 #define ltFORALL 1009
1002 #define ltEXISTS 1010
1004 #define ltSHARP 1012
1005 #define ltANGLE 1013
1006 #define ltTRIANGLE 1014
1007 #define ltCLUBSUIT 1015
1008 #define ltDIAMONDSUIT 1016
1009 #define ltHEARTSUIT 1017
1010 #define ltSPADESUIT 1018
1011 #define ltINFTY 1019
1013 // Binary operation symbols
1016 #define ltTIMES 1032
1024 #define ltWEDGE 1040
1026 #define ltBULLET 1042
1027 #define ltDIAMOND 1043
1028 #define ltOSLASH 1044
1030 #define ltDIAMOND2 1046
1031 #define ltBIGTRIANGLEDOWN 1047
1032 #define ltOPLUS 1048
1033 #define ltOTIMES 1049
1036 #define ltRMFAMILY 1200
1037 #define ltSFFAMILY 1201
1038 #define ltTTFAMILY 1202
1039 #define ltBFSERIES 1203
1040 #define ltITSHAPE 1204
1041 #define ltSLSHAPE 1205
1042 #define ltSCSHAPE 1206
1044 #define ltMDSERIES 1207
1045 #define ltUPSHAPE 1208
1047 #define ltTEXTRM 1209
1048 #define ltTEXTSF 1210
1049 #define ltTEXTTT 1211
1050 #define ltTEXTBF 1212
1051 #define ltTEXTIT 1213
1052 #define ltTEXTSL 1214
1053 #define ltTEXTSC 1215
1056 #define ltDOCUMENTCLASS 1217
1059 #define ltSMALLSPACE1 1250
1060 #define ltSMALLSPACE2 1251
1063 #define ltTOPLEVEL 15000
1064 #define ltCUSTOM_MACRO 15001
1065 #define ltSOLO_BLOCK 15002