]> matita.cs.unibo.it Git - helm.git/blob - helm/nuprl_stylesheets/nuprl_html_basic.xsl
paths trough terms implemented with a nice hack :)
[helm.git] / helm / nuprl_stylesheets / nuprl_html_basic.xsl
1 <?xml version="1.0"?>
2 <!-- Copyright (C) 2000, HELM Team                                     -->
3 <!-- This file is part of HELM, an Hypertextual, Electronic            -->
4 <!-- Library of Mathematics, developed at the Computer Science         -->
5 <!-- Department, University of Bologna, Italy.                         -->
6 <!-- HELM is free software; you can redistribute it and/or             -->
7 <!-- modify it under the terms of the GNU General Public License       -->
8 <!-- as published by the Free Software Foundation; either version 2    -->
9 <!-- of the License, or (at your option) any later version.            -->
10 <!-- HELM is distributed in the hope that it will be useful,           -->
11 <!-- but WITHOUT ANY WARRANTY; without even the implied warranty of    -->
12 <!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the     -->
13 <!-- GNU General Public License for more details.                      -->
14 <!-- You should have received a copy of the GNU General Public License -->
15 <!-- along with HELM; if not, write to the Free Software               -->
16 <!-- Foundation, Inc., 59 Temple Place - Suite 330, Boston,            -->
17 <!-- MA  02111-1307, USA.                                              -->
18 <!-- For details, see the HELM World-Wide-Web page,                    -->
19 <!-- http://cs.unibo.it/helm/.                                         -->
20 <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:i="http://www.cs.unibo.it/helm/InputNotationalElements" xmlns:o="http://www.cs.unibo.it/helm/OutputNotationalElements" version="1.0">
21 <!-- HTML SYMBOLS  -->
22 <!--and-->
23   <xsl:variable name="and">
24     <xsl:choose>
25       <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xD9;</xsl:when>
26       <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2227;</xsl:when>
27       <xsl:otherwise>???</xsl:otherwise>
28     </xsl:choose>
29   </xsl:variable>
30 <!--or-->
31   <xsl:variable name="or">
32     <xsl:choose>
33       <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xDA;</xsl:when>
34       <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2228;</xsl:when>
35       <xsl:otherwise>???</xsl:otherwise>
36     </xsl:choose>
37   </xsl:variable>
38 <!--iff-->
39   <xsl:variable name="iff">
40     <xsl:choose>
41       <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xDB;</xsl:when>
42       <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x21D4;</xsl:when>
43       <xsl:otherwise>???</xsl:otherwise>
44     </xsl:choose>
45   </xsl:variable>
46 <!--not-->
47   <xsl:variable name="not">
48     <xsl:choose>
49       <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xD8;</xsl:when>
50       <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#xAC;</xsl:when>
51       <xsl:otherwise>???</xsl:otherwise>
52     </xsl:choose>
53   </xsl:variable>
54 <!--eq-->
55   <xsl:variable name="eq">
56     <xsl:choose>
57       <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">=</xsl:when>
58       <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">=</xsl:when>
59       <xsl:otherwise>???</xsl:otherwise>
60     </xsl:choose>
61   </xsl:variable>
62 <!--neq-->
63   <xsl:variable name="neq">
64     <xsl:choose>
65       <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">&#xB9;</xsl:when>
66       <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2260;</xsl:when>
67       <xsl:otherwise>???</xsl:otherwise>
68     </xsl:choose>
69   </xsl:variable>
70 <!--exists-->
71   <xsl:variable name="exists">
72     <xsl:choose>
73       <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">$</xsl:when>
74       <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">&#x2203;</xsl:when>
75       <xsl:otherwise>???</xsl:otherwise>
76     </xsl:choose>
77   </xsl:variable>
78 <!-- AND -->
79   <xsl:template match="m:apply[m:and[count(*) = 0] and count(*) = 3]">
80     <xsl:param name="current_indent" select="0"/>
81     <xsl:param name="width" select="$framewidth"/>
82     <xsl:variable name="charlength">
83       <xsl:apply-templates select="." mode="root_charcount"/>
84     </xsl:variable>
85     <xsl:choose>
86       <xsl:when test="$width &gt;= $charlength">
87         <xsl:apply-templates select="." mode="inline"/>
88       </xsl:when>
89       <xsl:otherwise>
90         <xsl:text>(</xsl:text>
91         <xsl:apply-templates select="*[2]">
92           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
93         </xsl:apply-templates>
94         <BR/>
95         <xsl:call-template name="make_indent">
96           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
97         </xsl:call-template>
98         <a href="{m:and/@definitionURL}">
99           <xsl:choose>
100             <xsl:when test="boolean($and)">
101               <xsl:call-template name="mksymbol">
102                 <xsl:with-param name="symbol" select="$and"/>
103               </xsl:call-template>
104             </xsl:when>
105             <xsl:otherwise>and</xsl:otherwise>
106           </xsl:choose>
107         </a>
108         <xsl:apply-templates select="*[3]">
109           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
110         </xsl:apply-templates>
111         <xsl:text>)</xsl:text>
112       </xsl:otherwise>
113     </xsl:choose>
114   </xsl:template>
115 <!-- AND (INLINE MODE) -->
116   <xsl:template match="m:apply[m:and[count(*) = 0] and count(*) = 3]" mode="inline">
117     <xsl:text>(</xsl:text>
118     <xsl:apply-templates select="*[2]" mode="inline"/>
119     <a href="{m:and/@definitionURL}">
120       <xsl:choose>
121         <xsl:when test="boolean($and)">
122           <xsl:call-template name="mksymbol">
123             <xsl:with-param name="symbol" select="$and"/>
124           </xsl:call-template>
125         </xsl:when>
126         <xsl:otherwise>and</xsl:otherwise>
127       </xsl:choose>
128     </a>
129     <xsl:apply-templates select="*[3]" mode="inline"/>
130     <xsl:text>)</xsl:text>
131   </xsl:template>
132 <!-- AND (CHARCOUNT MODE) -->
133   <xsl:template match="m:apply[m:and[count(*) = 0] and count(*) = 3]" mode="root_charcount">
134     <xsl:param name="incurrent_length" select="0"/>
135     <xsl:value-of select="$incurrent_length + 3"/>
136   </xsl:template>
137 <!-- OR -->
138   <xsl:template match="m:apply[m:or[count(*) = 0] and count(*) = 3]">
139     <xsl:param name="current_indent" select="0"/>
140     <xsl:param name="width" select="$framewidth"/>
141     <xsl:variable name="charlength">
142       <xsl:apply-templates select="." mode="root_charcount"/>
143     </xsl:variable>
144     <xsl:choose>
145       <xsl:when test="$width &gt;= $charlength">
146         <xsl:apply-templates select="." mode="inline"/>
147       </xsl:when>
148       <xsl:otherwise>
149         <xsl:text>(</xsl:text>
150         <xsl:apply-templates select="*[2]">
151           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
152         </xsl:apply-templates>
153         <BR/>
154         <xsl:call-template name="make_indent">
155           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
156         </xsl:call-template>
157         <a href="{m:or/@definitionURL}">
158           <xsl:choose>
159             <xsl:when test="boolean($or)">
160               <xsl:call-template name="mksymbol">
161                 <xsl:with-param name="symbol" select="$or"/>
162               </xsl:call-template>
163             </xsl:when>
164             <xsl:otherwise>or</xsl:otherwise>
165           </xsl:choose>
166         </a>
167         <xsl:apply-templates select="*[3]">
168           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
169         </xsl:apply-templates>
170         <xsl:text>)</xsl:text>
171       </xsl:otherwise>
172     </xsl:choose>
173   </xsl:template>
174 <!-- OR (INLINE MODE) -->
175   <xsl:template match="m:apply[m:or[count(*) = 0] and count(*) = 3]" mode="inline">
176     <xsl:text>(</xsl:text>
177     <xsl:apply-templates select="*[2]" mode="inline"/>
178     <a href="{m:or/@definitionURL}">
179       <xsl:choose>
180         <xsl:when test="boolean($or)">
181           <xsl:call-template name="mksymbol">
182             <xsl:with-param name="symbol" select="$or"/>
183           </xsl:call-template>
184         </xsl:when>
185         <xsl:otherwise>or</xsl:otherwise>
186       </xsl:choose>
187     </a>
188     <xsl:apply-templates select="*[3]" mode="inline"/>
189     <xsl:text>)</xsl:text>
190   </xsl:template>
191 <!-- OR (CHARCOUNT MODE) -->
192   <xsl:template match="m:apply[m:or[count(*) = 0] and count(*) = 3]" mode="root_charcount">
193     <xsl:param name="incurrent_length" select="0"/>
194     <xsl:value-of select="$incurrent_length + 3"/>
195   </xsl:template>
196 <!-- IFF -->
197   <xsl:template match="m:apply[m:csymbol[text() = 'iff' and count(*) = 0] and count(*) = 3]">
198     <xsl:param name="current_indent" select="0"/>
199     <xsl:param name="width" select="$framewidth"/>
200     <xsl:variable name="charlength">
201       <xsl:apply-templates select="." mode="root_charcount"/>
202     </xsl:variable>
203     <xsl:choose>
204       <xsl:when test="$width &gt;= $charlength">
205         <xsl:apply-templates select="." mode="inline"/>
206       </xsl:when>
207       <xsl:otherwise>
208         <xsl:text>(</xsl:text>
209         <xsl:apply-templates select="*[2]">
210           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
211         </xsl:apply-templates>
212         <BR/>
213         <xsl:call-template name="make_indent">
214           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
215         </xsl:call-template>
216         <a href="{m:csymbol/@definitionURL}">
217           <xsl:choose>
218             <xsl:when test="boolean($iff)">
219               <xsl:call-template name="mksymbol">
220                 <xsl:with-param name="symbol" select="$iff"/>
221               </xsl:call-template>
222             </xsl:when>
223             <xsl:otherwise>iff</xsl:otherwise>
224           </xsl:choose>
225         </a>
226         <xsl:apply-templates select="*[3]">
227           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
228         </xsl:apply-templates>
229         <xsl:text>)</xsl:text>
230       </xsl:otherwise>
231     </xsl:choose>
232   </xsl:template>
233 <!-- IFF (INLINE MODE) -->
234   <xsl:template match="m:apply[m:csymbol[text() = 'iff' and count(*) = 0] and count(*) = 3]" mode="inline">
235     <xsl:text>(</xsl:text>
236     <xsl:apply-templates select="*[2]" mode="inline"/>
237     <a href="{m:csymbol/@definitionURL}">
238       <xsl:choose>
239         <xsl:when test="boolean($iff)">
240           <xsl:call-template name="mksymbol">
241             <xsl:with-param name="symbol" select="$iff"/>
242           </xsl:call-template>
243         </xsl:when>
244         <xsl:otherwise>iff</xsl:otherwise>
245       </xsl:choose>
246     </a>
247     <xsl:apply-templates select="*[3]" mode="inline"/>
248     <xsl:text>)</xsl:text>
249   </xsl:template>
250 <!-- IFF (CHARCOUNT MODE) -->
251   <xsl:template match="m:apply[m:csymbol[text() = 'iff' and count(*) = 0] and count(*) = 3]" mode="root_charcount">
252     <xsl:param name="incurrent_length" select="0"/>
253     <xsl:value-of select="$incurrent_length + 3"/>
254   </xsl:template>
255 <!-- NOT -->
256   <xsl:template match="m:apply[m:not[count(*) = 0] and count(*) = 2]">
257     <xsl:param name="current_indent" select="0"/>
258     <xsl:param name="width" select="$framewidth"/>
259     <a href="{m:not/@definitionURL}">
260       <xsl:choose>
261         <xsl:when test="boolean($not)">
262           <xsl:call-template name="mksymbol">
263             <xsl:with-param name="symbol" select="$not"/>
264           </xsl:call-template>
265         </xsl:when>
266         <xsl:otherwise>not</xsl:otherwise>
267       </xsl:choose>
268     </a>
269     <xsl:apply-templates select="*[2]">
270       <xsl:with-param name="current_indent" select="$current_indent + 2"/>
271     </xsl:apply-templates>
272   </xsl:template>
273 <!-- NOT (INLINE MODE) -->
274   <xsl:template match="m:apply[m:not[count(*) = 0] and count(*) = 2]" mode="inline">
275     <a href="{m:not/@definitionURL}">
276       <xsl:choose>
277         <xsl:when test="boolean($not)">
278           <xsl:call-template name="mksymbol">
279             <xsl:with-param name="symbol" select="$not"/>
280           </xsl:call-template>
281         </xsl:when>
282         <xsl:otherwise>not</xsl:otherwise>
283       </xsl:choose>
284     </a>
285     <xsl:apply-templates select="*[2]" mode="inline"/>
286   </xsl:template>
287 <!-- NOT (CHARCOUNT MODE) -->
288   <xsl:template match="m:apply[m:not[count(*) = 0] and count(*) = 2]" mode="root_charcount">
289     <xsl:param name="incurrent_length" select="0"/>
290     <xsl:value-of select="$incurrent_length + 1"/>
291   </xsl:template>
292 <!-- EQUALITY and TYPE EQUALITY -->
293   <xsl:template match="m:apply[m:eq[count(*) = 0] and count(*) = 3]">
294     <xsl:param name="current_indent" select="0"/>
295     <xsl:param name="width" select="$framewidth"/>
296     <xsl:variable name="charlength">
297       <xsl:apply-templates select="." mode="root_charcount"/>
298     </xsl:variable>
299     <xsl:choose>
300       <xsl:when test="$width &gt;= $charlength">
301         <xsl:apply-templates select="." mode="inline"/>
302       </xsl:when>
303       <xsl:otherwise>
304         <xsl:text>(</xsl:text>
305         <xsl:apply-templates select="*[2]">
306           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
307         </xsl:apply-templates>
308         <BR/>
309         <xsl:call-template name="make_indent">
310           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
311         </xsl:call-template>
312         <a href="{m:eq/@definitionURL}">
313           <xsl:choose>
314             <xsl:when test="boolean($eq)">
315               <xsl:call-template name="mksymbol">
316                 <xsl:with-param name="symbol" select="$eq"/>
317               </xsl:call-template>
318             </xsl:when>
319             <xsl:otherwise>eq</xsl:otherwise>
320           </xsl:choose>
321         </a>
322         <xsl:apply-templates select="*[3]">
323           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
324         </xsl:apply-templates>
325         <xsl:text>)</xsl:text>
326       </xsl:otherwise>
327     </xsl:choose>
328   </xsl:template>
329 <!-- EQUALITY and TYPE EQUALITY (INLINE MODE) -->
330   <xsl:template match="m:apply[m:eq[count(*) = 0] and count(*) = 3]" mode="inline">
331     <xsl:text>(</xsl:text>
332     <xsl:apply-templates select="*[2]" mode="inline"/>
333     <a href="{m:eq/@definitionURL}">
334       <xsl:choose>
335         <xsl:when test="boolean($eq)">
336           <xsl:call-template name="mksymbol">
337             <xsl:with-param name="symbol" select="$eq"/>
338           </xsl:call-template>
339         </xsl:when>
340         <xsl:otherwise>eq</xsl:otherwise>
341       </xsl:choose>
342     </a>
343     <xsl:apply-templates select="*[3]" mode="inline"/>
344     <xsl:text>)</xsl:text>
345   </xsl:template>
346 <!-- EQUALITY and TYPE EQUALITY (CHARCOUNT MODE) -->
347   <xsl:template match="m:apply[m:eq[count(*) = 0] and count(*) = 3]" mode="root_charcount">
348     <xsl:param name="incurrent_length" select="0"/>
349     <xsl:value-of select="$incurrent_length + 3"/>
350   </xsl:template>
351 <!-- NOT-EQ and NOT-EQT -->
352   <xsl:template match="m:apply[m:neq[count(*) = 0] and count(*) = 3]">
353     <xsl:param name="current_indent" select="0"/>
354     <xsl:param name="width" select="$framewidth"/>
355     <xsl:variable name="charlength">
356       <xsl:apply-templates select="." mode="root_charcount"/>
357     </xsl:variable>
358     <xsl:choose>
359       <xsl:when test="$width &gt;= $charlength">
360         <xsl:apply-templates select="." mode="inline"/>
361       </xsl:when>
362       <xsl:otherwise>
363         <xsl:text>(</xsl:text>
364         <xsl:apply-templates select="*[2]">
365           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
366         </xsl:apply-templates>
367         <BR/>
368         <xsl:call-template name="make_indent">
369           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
370         </xsl:call-template>
371         <a href="{m:neq/@definitionURL}">
372           <xsl:choose>
373             <xsl:when test="boolean($neq)">
374               <xsl:call-template name="mksymbol">
375                 <xsl:with-param name="symbol" select="$neq"/>
376               </xsl:call-template>
377             </xsl:when>
378             <xsl:otherwise>neq</xsl:otherwise>
379           </xsl:choose>
380         </a>
381         <xsl:apply-templates select="*[3]">
382           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
383         </xsl:apply-templates>
384         <xsl:text>)</xsl:text>
385       </xsl:otherwise>
386     </xsl:choose>
387   </xsl:template>
388 <!-- NOT-EQ and NOT-EQT (INLINE MODE) -->
389   <xsl:template match="m:apply[m:neq[count(*) = 0] and count(*) = 3]" mode="inline">
390     <xsl:text>(</xsl:text>
391     <xsl:apply-templates select="*[2]" mode="inline"/>
392     <a href="{m:neq/@definitionURL}">
393       <xsl:choose>
394         <xsl:when test="boolean($neq)">
395           <xsl:call-template name="mksymbol">
396             <xsl:with-param name="symbol" select="$neq"/>
397           </xsl:call-template>
398         </xsl:when>
399         <xsl:otherwise>neq</xsl:otherwise>
400       </xsl:choose>
401     </a>
402     <xsl:apply-templates select="*[3]" mode="inline"/>
403     <xsl:text>)</xsl:text>
404   </xsl:template>
405 <!-- NOT-EQ and NOT-EQT (CHARCOUNT MODE) -->
406   <xsl:template match="m:apply[m:neq[count(*) = 0] and count(*) = 3]" mode="root_charcount">
407     <xsl:param name="incurrent_length" select="0"/>
408     <xsl:value-of select="$incurrent_length + 3"/>
409   </xsl:template>
410 <!-- EXIST -->
411   <xsl:template match="m:apply[m:exists[count(*) = 0] and m:bvar/m:ci[count(*) = 0] and m:condition[count(*) = 1] and count(*) = 4]">
412     <xsl:param name="current_indent" select="0"/>
413     <xsl:param name="width" select="$framewidth"/>
414     <xsl:variable name="charlength">
415       <xsl:apply-templates select="." mode="root_charcount"/>
416     </xsl:variable>
417     <xsl:choose>
418       <xsl:when test="$width &gt;= $charlength">
419         <xsl:apply-templates select="." mode="inline"/>
420       </xsl:when>
421       <xsl:otherwise>
422         <a href="{m:exists/@definitionURL}">
423           <xsl:choose>
424             <xsl:when test="boolean($exists)">
425               <xsl:call-template name="mksymbol">
426                 <xsl:with-param name="symbol" select="$exists"/>
427               </xsl:call-template>
428             </xsl:when>
429             <xsl:otherwise>exists</xsl:otherwise>
430           </xsl:choose>
431         </a>
432         <xsl:value-of select="m:bvar/m:ci/text()"/>
433         <xsl:text>:</xsl:text>
434         <xsl:apply-templates select="m:condition/*[1]">
435           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
436         </xsl:apply-templates>
437         <BR/>
438         <xsl:call-template name="make_indent">
439           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
440         </xsl:call-template>
441         <xsl:text>.</xsl:text>
442         <xsl:apply-templates select="*[4]">
443           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
444         </xsl:apply-templates>
445       </xsl:otherwise>
446     </xsl:choose>
447   </xsl:template>
448 <!-- EXIST (INLINE MODE) -->
449   <xsl:template match="m:apply[m:exists[count(*) = 0] and m:bvar/m:ci[count(*) = 0] and m:condition[count(*) = 1] and count(*) = 4]" mode="inline">
450     <a href="{m:exists/@definitionURL}">
451       <xsl:choose>
452         <xsl:when test="boolean($exists)">
453           <xsl:call-template name="mksymbol">
454             <xsl:with-param name="symbol" select="$exists"/>
455           </xsl:call-template>
456         </xsl:when>
457         <xsl:otherwise>exists</xsl:otherwise>
458       </xsl:choose>
459     </a>
460     <xsl:value-of select="m:bvar/m:ci/text()"/>
461     <xsl:text>:</xsl:text>
462     <xsl:apply-templates select="m:condition/*[1]" mode="inline"/>
463     <xsl:text>.</xsl:text>
464     <xsl:apply-templates select="*[4]" mode="inline"/>
465   </xsl:template>
466 <!-- EXIST (CHARCOUNT MODE) -->
467   <xsl:template match="m:apply[m:exists[count(*) = 0] and m:bvar/m:ci[count(*) = 0] and m:condition[count(*) = 1] and count(*) = 4]" mode="root_charcount">
468     <xsl:param name="incurrent_length" select="0"/>
469     <xsl:value-of select="$incurrent_length + 3"/>
470   </xsl:template>
471 <!-- EXIST -->
472   <xsl:template match="m:apply[m:exists[count(*) = 0] and m:bvar/m:ci[count(*) = 0] and m:condition[count(*) = 1] and count(*) = 4]">
473     <xsl:param name="current_indent" select="0"/>
474     <xsl:param name="width" select="$framewidth"/>
475     <xsl:variable name="charlength">
476       <xsl:apply-templates select="." mode="root_charcount"/>
477     </xsl:variable>
478     <xsl:choose>
479       <xsl:when test="$width &gt;= $charlength">
480         <xsl:apply-templates select="." mode="inline"/>
481       </xsl:when>
482       <xsl:otherwise>
483         <a href="{m:exists/@definitionURL}">
484           <xsl:choose>
485             <xsl:when test="boolean($exists)">
486               <xsl:call-template name="mksymbol">
487                 <xsl:with-param name="symbol" select="$exists"/>
488               </xsl:call-template>
489             </xsl:when>
490             <xsl:otherwise>exists</xsl:otherwise>
491           </xsl:choose>
492         </a>
493         <xsl:value-of select="m:bvar/m:ci/text()"/>
494         <xsl:text>:</xsl:text>
495         <xsl:apply-templates select="m:condition/*[1]">
496           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
497         </xsl:apply-templates>
498         <BR/>
499         <xsl:call-template name="make_indent">
500           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
501         </xsl:call-template>
502         <xsl:text>.</xsl:text>
503         <xsl:apply-templates select="*[4]">
504           <xsl:with-param name="current_indent" select="$current_indent + 2"/>
505         </xsl:apply-templates>
506       </xsl:otherwise>
507     </xsl:choose>
508   </xsl:template>
509 <!-- EXIST (INLINE MODE) -->
510   <xsl:template match="m:apply[m:exists[count(*) = 0] and m:bvar/m:ci[count(*) = 0] and m:condition[count(*) = 1] and count(*) = 4]" mode="inline">
511     <a href="{m:exists/@definitionURL}">
512       <xsl:choose>
513         <xsl:when test="boolean($exists)">
514           <xsl:call-template name="mksymbol">
515             <xsl:with-param name="symbol" select="$exists"/>
516           </xsl:call-template>
517         </xsl:when>
518         <xsl:otherwise>exists</xsl:otherwise>
519       </xsl:choose>
520     </a>
521     <xsl:value-of select="m:bvar/m:ci/text()"/>
522     <xsl:text>:</xsl:text>
523     <xsl:apply-templates select="m:condition/*[1]" mode="inline"/>
524     <xsl:text>.</xsl:text>
525     <xsl:apply-templates select="*[4]" mode="inline"/>
526   </xsl:template>
527 <!-- EXIST (CHARCOUNT MODE) -->
528   <xsl:template match="m:apply[m:exists[count(*) = 0] and m:bvar/m:ci[count(*) = 0] and m:condition[count(*) = 1] and count(*) = 4]" mode="root_charcount">
529     <xsl:param name="incurrent_length" select="0"/>
530     <xsl:value-of select="$incurrent_length + 3"/>
531   </xsl:template>
532 </xsl:stylesheet>