Lines Matching refs:right

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 …om-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{to…
85 …label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}…
86 …om-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{to…
87 …-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{…
89 …aiu{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right…
90 …label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{…
91 …uex{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right…
92 …right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-righ…
94 \afaidnw{top-left label}{top-right label}
95 \afaiunw{bottom-left label}{bottom-right label}
99 …om-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{to…
100 …label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}…
101 …om-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-right-right label}{to…
102 …-right label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{…
104 …ium{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right…
105 …label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{…
106 …mex{top-left label}{top-right label}{bottom-left-left label}{bottom-left-right label}{bottom-right…
107 …right label}{bottom-left-left label}{bottom-left-right label}{bottom-right-left label}{bottom-righ…
112 …ft-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label…
113 …p-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right la…
114 …ft-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label…
115 …ft-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label…
116 …{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerat…
117 …{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerat…
119 \afacdnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}
120 …-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{top-left colou…
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 …top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominat…
124 …top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominat…
126 …ft-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label…
127 …{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerat…
128 \afacdexnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{s…
129 …top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominat…
131 …ft-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label…
132 …p-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right la…
133 …ft-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label…
134 …ft-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{bottom-left label…
135 …{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerat…
136 …{top-right-left label}{top-right-right label}{bottom-left label}{bottom-right label}{scale numerat…
138 \afacdmnw{top-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}
139 …-left-left label}{top-left-rigt label}{top-right-left label}{top-right-right label}{top-left colou…
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 …top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominat…
143 …top-left-rigt label}{top-right-left label}{top-right-right label}{scale numerator}{scale denominat…
145 …eft label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left lab…
146 …-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right lab…
147 …eft label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left lab…
148 …eft label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left lab…
149 …bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerato…
150 …bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerato…
152 …nw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right lab…
153 …ft label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left colo…
154 …nw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right lab…
155 …nw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right lab…
156 …eft-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denomina…
157 …eft-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denomina…
159 …eft label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left lab…
160 …bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerato…
161 …nw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right lab…
162 …eft-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denomina…
164 …eft label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left lab…
165 …-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left label}{top-right lab…
166 …eft label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left lab…
167 …eft label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left lab…
168 …bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerato…
169 …bottom-right-left label}{bottom-right-right label}{top-left label}{top-right label}{scale numerato…
171 …nw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right lab…
172 …ft label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right label}{top-left colo…
173 …nw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right lab…
174 …nw{bottom-left-left label}{bottom-left-rigt label}{bottom-right-left label}{bottom-right-right lab…
175 …eft-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denomina…
176 …eft-rigt label}{bottom-right-left label}{bottom-right-right label}{scale numerator}{scale denomina…
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}