complete/tex/virginialake.cwl

0001 # virginialake package (version 1.28)
0002 # Tom Gundersen <teg@jklm.no> 8/9/2010
0003 # http://alessio.guglielmi.name/res/vl/index.html
0004
0005 # possible package options are: pdftex,noxy,goodsyntax,lutzsyntax
0006
0007 # formulae/structures
0008 \vlor
0009 \vlan
0010 \vlim
0011 \vlne
0012 \vldi
0013 \vlmi
0014 \vljm
0015 \vlmj
0016 \vlpa
0017 \vlte
0018 \vlse
0019 \vlli
0020 \vllineartrue
0021 \vllinearfalse
0022 \vlbin
0023 \lt
0024 \gt
0025 \vlnogoodsyntax
0026 \vls
0027 \vldots
0028 \vlsbr
0029 \vlscn
0030 \vlhole
0031 \vlgoodsyntax
0032 \vllutzsyntax
0033 \vlsmallbrackets
0034 \vlnosmallbrackets
0035 \vlupdate
0036 \vlstore
0037 \vlread
0038 \vldot
0039 \vlsqbrl
0040 \vlsqbrr
0041 \vlrobrl
0042 \vlrobrr
0043 \vlnos
0044
0045 # derivations
0046 \vlnostructuresyntax
0047 \vlderivation{derivation}
0048 \vlpr{left label}{right label}{conclusion}
0049 \vlpd{left label}{right label}{conclusion}
0050 \vlpf{left label}{right label}{conclusion}{scale}
0051 \vlproof{left label}{right label}{conclusion}
0052 \vlproofd{left label}{right label}{conclusion}
0053 \vlde{left label}{right label}{conclusion}{derivation}
0054 \vlhy{premiss}
0055 \vldd{left label}{right label}{conclusion}{derivation}
0056 \vldf{left label}{right label}{conclusion}{derivation}{scale}
0057 \vlder{left label}{right label}{conclusion}{premiss}
0058 \vlderd{left label}{right label}{conclusion}{premiss}
0059 \vlin{left label}{right label}{conclusion}{derivation}
0060 \vliq{left label}{right label}{conclusion}{derivation}
0061 \vlinf{left label}{right label}{conclusion}{premiss}
0062 \vliqf{left label}{right label}{conclusion}{premiss}
0063 \vlidf{left label}{right label}{conclusion}{premiss}
0064 \vlsmallleftlabels
0065 \vlnosmallleftlabels
0066 \vlvdots
0067 \vlx
0068 \vliin{left label}{right label}{conclusion}{left derivation}{right derivation}
0069 \vliiq{left label}{right label}{conclusion}{left derivation}{right derivation}
0070 \vliinf{left label}{right label}{conclusion}{left premiss}{right premiss}
0071 \vliiqf{left label}{right label}{conclusion}{left premiss}{right premiss}
0072 \vliiin{left label}{right label}{conclusion}{left derivation}{middle derivation}{right derivation}
0073 \vliiiq{left label}{right label}{conclusion}{left derivation}{middle derivation}{right derivation}
0074 \vliiinf{left label}{right label}{conclusion}{left premiss}{middle premiss}{right premiss}
0075 \vliiiqf{left label}{right label}{conclusion}{left premiss}{middle premiss}{right premiss}
0076 \vltr{label}{conclusion}{left derivation}{middle derivation}{right derivation}
0077 \vltreeder{label}{conclusion}{left premiss}{middle premiss}{right premiss}
0078 \vltrl{label}{left label}{right label}{conclusion}{left derivation}{middle derivation}{right derivation}
0079 \vltreederl{label}{left label}{right label}{conclusion}{left premiss}{middle premiss}{right premiss}
0080 \vltrf{label}{conclusion}{left derivation}{middle derivation}{right derivation}{scale}
0081 \vltrlf{label}{left label}{right label}{conclusion}{left derivation}{middle derivation}{right derivation}{scale}
0082
0083 # atomic flows
0084 \afaid{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}
0085 \afaidcol{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{left colour}{right colour}
0086 \afaidex{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}
0087 \afaidexcol{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}{left colour}{right colour}
0088
0089 \afaiu{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}
0090 \afaiucol{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{left colour}{right colour}
0091 \afaiuex{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}
0092 \afaiuexcol{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}{left colour}{right colour}
0093
0094 \afaidnw{top-left label}{top-right label}
0095 \afaiunw{bottom-left label}{bottom-right label}
0096
0097 \afnegspace
0098
0099 \afaidm{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}
0100 \afaidmcol{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{left colour}{right colour}
0101 \afaidmex{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}
0102 \afaidmexcol{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}{left colour}{right colour}
0103
0104 \afaium{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}
0105 \afaiumcol{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{left colour}{right colour}
0106 \afaiumex{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}
0107 \afaiumexcol{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}{left colour}{right colour}
0108
0109 \afraise
0110 \aflower
0111
0112 \afacd{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}
0113 \afacdcol{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{top-left colour}{top-right colour}{bottom colour}
0114 \afacdexsq{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}
0115 \afacdexsn{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}
0116 \afacdexsqcol{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0117 \afacdexsncol{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0118
0119 \afacdnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}
0120 \afacdcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{top-left colour}{top-right colour}
0121 \afacdexsqnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}
0122 \afacdexsnnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}
0123 \afacdexsqcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0124 \afacdexsncolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0125
0126 \afacdex{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}
0127 \afacdexcol{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0128 \afacdexnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}
0129 \afacdexcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0130
0131 \afacdm{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}
0132 \afacdmcol{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{top-left colour}{top-right colour}{bottom colour}
0133 \afacdmexsq{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}
0134 \afacdmexsn{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}
0135 \afacdmexsqcol{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0136 \afacdmexsncol{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0137
0138 \afacdmnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}
0139 \afacdmcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{top-left colour}{top-right colour}
0140 \afacdmexsqnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}
0141 \afacdmexsnnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}
0142 \afacdmexsqcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0143 \afacdmexsncolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0144
0145 \afacu{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}
0146 \afacucol{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{top-left colour}{top-right colour}{bottom colour}
0147 \afacuexsq{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}
0148 \afacuexsn{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}
0149 \afacuexsqcol{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0150 \afacuexsncol{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0151
0152 \afacunw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}
0153 \afacucolnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left colour}{top-right colour}
0154 \afacuexsqnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}
0155 \afacuexsnnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}
0156 \afacuexsqcolnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0157 \afacuexsncolnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0158
0159 \afacuex{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}
0160 \afacuexcol{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0161 \afacuexnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}
0162 \afacuexcolnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0163
0164 \afacum{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}
0165 \afacumcol{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{top-left colour}{top-right colour}{bottom colour}
0166 \afacumexsq{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}
0167 \afacumexsn{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}
0168 \afacumexsqcol{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0169 \afacumexsncol{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}{bottom colour}
0170
0171 \afacumnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}
0172 \afacumcolnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left colour}{top-right colour}
0173 \afacumexsqnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}
0174 \afacumexsnnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}
0175 \afacumexsqcolnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0176 \afacumexsncolnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denominator}{top-left colour}{top-right colour}
0177
0178 \afawd{top-left label}{top-right label}{bottom-left label}{bottom-right label}
0179 \afawdcol{top-left label}{top-right label}{bottom-left label}{bottom-right label}{colour}
0180 \afawdnw{top-left label}{top-right label}
0181
0182 \afawu{bottom-left label}{bottom-right label}{top-left label}{top-right label}
0183 \afawucol{bottom-left label}{bottom-right label}{top-left label}{top-right label}{colour}
0184 \afawunw{bottom-left label}{bottom-right label}
0185
0186 \aff{scale}{left label}{right label}
0187 \affcol{scale}{left label}{right label}{colour}
0188
0189 \aft{scale}{left label}{right label}
0190 \aftcol{scale}{left label}{right label}{colour}
0191
0192 \afawdm{top-left label}{top-right label}{bottom-left label}{bottom-right label}
0193 \afawdmcol{top-left label}{top-right label}{bottom-left label}{bottom-right label}{colour}
0194 \afawdmnw{top-left label}{top-right label}
0195
0196 \afawum{bottom-left label}{bottom-right label}{top-left label}{top-right label}
0197 \afawumcol{bottom-left label}{bottom-right label}{top-left label}{top-right label}{colour}
0198 \afawumnw{bottom-left label}{bottom-right label}
0199
0200 \afvj{scale}
0201 \afvjcol{scale}{colour}
0202 \afvjd{scale}{left label}{right label}
0203 \afvjdcol{scale}{left label}{right label}{colour}
0204 \afvju{scale}{left label}{right label}
0205 \afvjucol{scale}{left label}{right label}{colour}
0206
0207 \afvjm{scale}
0208 \afvjmcol{scale}{colour}
0209 \afvjmd{scale}{left label}{right label}
0210 \afvjmdcol{scale}{left label}{right label}{colour}
0211 \afvjmu{scale}{left label}{right label}
0212 \afvjmucol{scale}{left label}{right label}{colour}
0213
0214 \aftvj{scale}
0215 \aftvjcol{scale}{colour}
0216 \aftvjd{scale}{left label}{right label}
0217 \aftvjdcol{scale}{left label}{right label}{colour}
0218 \aftvju{scale}{left label}{right label}
0219 \aftvjucol{left label}{right label}{scale}{colour}
0220
0221 \afvdj
0222
0223 \afcjl{horizontal scale}{vertical scale}
0224 \afcjlcol{horizontal scale}{vertical scale}{colour}
0225
0226 \afcjr{horizontal scale}{vertical scale}
0227 \afcjrcol{horizontal scale}{vertical scale}{colour}
0228
0229 \afcjlm{horizontal scale}{vertical scale}
0230 \afcjlmcol{horizontal scale}{vertical scale}{colour}
0231
0232 \afcjrm{horizontal scale}{vertical scale}
0233 \afcjrmcol{horizontal scale}{vertical scale}{colour}
0234
0235 \afex{horizontal scale}{vertical scale}
0236 \afex{horizontal scale}{vertical scale}{top-left colour}{top-right colour}
0237
0238 \aftcjl{horizontal scale}{vertical scale}
0239 \aftcjlcol{horizontal scale}{vertical scale}{colour}
0240
0241 \aftcjr{horizontal scale}{vertical scale}
0242 \aftcjrcol{horizontal scale}{vertical scale}{colour}
0243
0244 \afexpu{horizontal scale}{vertical scale}{tip placement}
0245 \afexpd{horizontal scale}{vertical scale}{tip placement}
0246
0247 \atflowunit
0248 \atflowelwidth
0249 \atflowelwidthtriangle
0250 \atflowelheight
0251 \atflowthickone
0252 \atflowthicktwo
0253 \atflowthickthree
0254 \atflowthickfour
0255 \atflowthickfive
0256 \atflowlabeldistance
0257
0258 \atomicflow{atomicflow}
0259 \atomicflowinv{atomicflow}
0260
0261 \affr{horizontal scale}{vertical scale}
0262
0263 # smash macros
0264 \vldownsmash
0265 \vlupsmash
0266 \vlsmash