Lines Matching refs:left
48 \vlpr{left label}{right label}{conclusion}
49 \vlpd{left label}{right label}{conclusion}
50 \vlpf{left label}{right label}{conclusion}{scale}
51 \vlproof{left label}{right label}{conclusion}
52 \vlproofd{left label}{right label}{conclusion}
53 \vlde{left label}{right label}{conclusion}{derivation}
55 \vldd{left label}{right label}{conclusion}{derivation}
56 \vldf{left label}{right label}{conclusion}{derivation}{scale}
57 \vlder{left label}{right label}{conclusion}{premiss}
58 \vlderd{left label}{right label}{conclusion}{premiss}
59 \vlin{left label}{right label}{conclusion}{derivation}
60 \vliq{left label}{right label}{conclusion}{derivation}
61 \vlinf{left label}{right label}{conclusion}{premiss}
62 \vliqf{left label}{right label}{conclusion}{premiss}
63 \vlidf{left label}{right label}{conclusion}{premiss}
68 \vliin{left label}{right label}{conclusion}{left derivation}{right derivation}
69 \vliiq{left label}{right label}{conclusion}{left derivation}{right derivation}
70 \vliinf{left label}{right label}{conclusion}{left premiss}{right premiss}
71 \vliiqf{left label}{right label}{conclusion}{left premiss}{right premiss}
72 \vliiin{left label}{right label}{conclusion}{left derivation}{middle derivation}{right derivation}
73 \vliiiq{left label}{right label}{conclusion}{left derivation}{middle derivation}{right derivation}
74 \vliiinf{left label}{right label}{conclusion}{left premiss}{middle premiss}{right premiss}
75 \vliiiqf{left label}{right label}{conclusion}{left premiss}{middle premiss}{right premiss}
76 \vltr{label}{conclusion}{left derivation}{middle derivation}{right derivation}
77 \vltreeder{label}{conclusion}{left premiss}{middle premiss}{right premiss}
78 \vltrl{label}{left label}{right label}{conclusion}{left derivation}{middle derivation}{right deriva…
79 \vltreederl{label}{left label}{right label}{conclusion}{left premiss}{middle premiss}{right premiss}
80 \vltrf{label}{conclusion}{left derivation}{middle derivation}{right derivation}{scale}
81 \vltrlf{label}{left label}{right label}{conclusion}{left derivation}{middle derivation}{right deriv…
84 \afaid{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right…
85 …col{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right l…
86 \afaidex{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-rig…
87 …left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-l…
89 \afaiu{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-rig…
90 …iucol{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-rig…
91 \afaiuex{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-r…
92 …left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left la…
94 \afaidnw{top-left label}{top-right label}
95 \afaiunw{bottom-left label}{bottom-right label}
99 \afaidm{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-righ…
100 …col{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right l…
101 \afaidmex{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-ri…
102 …left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-l…
104 \afaium{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-ri…
105 …umcol{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-rig…
106 \afaiumex{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-…
107 …left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left la…
112 \afacd{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{botto…
113 …acdcol{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bott…
114 \afacdexsq{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{b…
115 \afacdexsn{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{b…
116 …left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left lab…
117 …left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left lab…
119 \afacdnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}
120 \afacdcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{…
121 \afacdexsqnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}…
122 \afacdexsnnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}…
123 …xsqcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{sc…
124 …xsncolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{sc…
126 \afacdex{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bot…
127 …left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left lab…
128 \afacdexnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{s…
129 …dexcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{sc…
131 \afacdm{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bott…
132 …cdmcol{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bott…
133 \afacdmexsq{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{…
134 \afacdmexsn{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{…
135 …left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left lab…
136 …left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left lab…
138 \afacdmnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}
139 \afacdmcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}…
140 \afacdmexsqnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label…
141 \afacdmexsnnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label…
142 …xsqcolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{sc…
143 …xsncolnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{sc…
145 \afacu{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right …
146 …ol{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right lab…
147 \afacuexsq{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-ri…
148 \afacuexsn{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-ri…
149 …left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-le…
150 …left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-le…
152 \afacunw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-righ…
153 \afacucolnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-r…
154 \afacuexsqnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-…
155 \afacuexsnnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-…
156 …{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label…
157 …{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label…
159 \afacuex{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-righ…
160 …left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-le…
161 \afacuexnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-ri…
162 …{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label…
164 \afacum{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right…
165 …ol{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right lab…
166 \afacumexsq{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-r…
167 \afacumexsn{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-r…
168 …left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-le…
169 …left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-le…
171 \afacumnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-rig…
172 \afacumcolnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-…
173 \afacumexsqnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right…
174 \afacumexsnnw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right…
175 …{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label…
176 …{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label…
178 \afawd{top-left label}{top-right label}{bottom-left label}{bottom-right label}
179 \afawdcol{top-left label}{top-right label}{bottom-left label}{bottom-right label}{colour}
180 \afawdnw{top-left label}{top-right label}
182 \afawu{bottom-left label}{bottom-right label}{top-left label}{top-right label}
183 \afawucol{bottom-left label}{bottom-right label}{top-left label}{top-right label}{colour}
184 \afawunw{bottom-left label}{bottom-right label}
186 \aff{scale}{left label}{right label}
187 \affcol{scale}{left label}{right label}{colour}
189 \aft{scale}{left label}{right label}
190 \aftcol{scale}{left label}{right label}{colour}
192 \afawdm{top-left label}{top-right label}{bottom-left label}{bottom-right label}
193 \afawdmcol{top-left label}{top-right label}{bottom-left label}{bottom-right label}{colour}
194 \afawdmnw{top-left label}{top-right label}
196 \afawum{bottom-left label}{bottom-right label}{top-left label}{top-right label}
197 \afawumcol{bottom-left label}{bottom-right label}{top-left label}{top-right label}{colour}
198 \afawumnw{bottom-left label}{bottom-right label}
202 \afvjd{scale}{left label}{right label}
203 \afvjdcol{scale}{left label}{right label}{colour}
204 \afvju{scale}{left label}{right label}
205 \afvjucol{scale}{left label}{right label}{colour}
209 \afvjmd{scale}{left label}{right label}
210 \afvjmdcol{scale}{left label}{right label}{colour}
211 \afvjmu{scale}{left label}{right label}
212 \afvjmucol{scale}{left label}{right label}{colour}
216 \aftvjd{scale}{left label}{right label}
217 \aftvjdcol{scale}{left label}{right label}{colour}
218 \aftvju{scale}{left label}{right label}
219 \aftvjucol{left label}{right label}{scale}{colour}
236 \afex{horizontal scale}{vertical scale}{top-left colour}{top-right colour}