-
-<!--
- <pattern-item _name = "Command [" style = "Keyword">
- <regex>\[</regex>
- </pattern-item>
- <pattern-item _name = "Command |" style = "Keyword">
- <regex>\|</regex>
- </pattern-item>
- <pattern-item _name = "Command ]" style = "Keyword">
- <regex>\]</regex>
- </pattern-item>
- <pattern-item _name = "Command {" style = "Keyword">
- <regex>\{</regex>
- </pattern-item>
- <pattern-item _name = "Command }" style = "Keyword">
- <regex>\}</regex>
- </pattern-item>
- <pattern-item _name = "Notation ast mark" style = "Keyword">
- <regex>@</regex>
- </pattern-item>
- <pattern-item _name = "Notation meta mark" style = "Keyword">
- <regex>\$</regex>
- </pattern-item>
-
-
- <keyword-list _name = "Whelp Macro" style = "Others 3"
- case-sensitive="TRUE"
- beginning-regex="whelp *"
- match-empty-string-at-beginning="FALSE"
- match-empty-string-at-end="FALSE" >
- <keyword>elim</keyword>
- <keyword>hint</keyword>
- <keyword>instance</keyword>
- <keyword>locate</keyword>
- <keyword>match</keyword>
- </keyword-list>
-
- <keyword-list _name = "TeX Macro" style = "Preprocessor"
- case-sensitive="TRUE"
- beginning-regex="\\"
- match-empty-string-at-beginning="FALSE"
- match-empty-string-at-end="FALSE" >
- <keyword>def</keyword>
- <keyword>forall</keyword>
- <keyword>lambda</keyword>
- <keyword>to</keyword>
- <keyword>exists</keyword>
- <keyword>Rightarrow</keyword>
- <keyword>Assign</keyword>
- <keyword>land</keyword>
- <keyword>lor</keyword>
- <keyword>lnot</keyword>
- <keyword>liff</keyword>
- <keyword>subst</keyword>
- <keyword>vdash</keyword>
- <keyword>iforall</keyword>
- <keyword>iexists</keyword>
- </keyword-list>
- -->