This file is indexed.

/usr/share/hevea/html/symb-fra.hva is in hevea 2.23-2build1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
\newcommand{\forall}{\mbox{pour tout}}
\newcommand{\exists}{\mbox{il existe}}
\newcommand{\clubsuit}{\mbox{trèfle}}
\newcommand{\diamondsuit}{\mbox{carreau}}
\newcommand{\heartsuit}{\mbox{c{\oe}ur}}
\newcommand{\spadesuit}{\mbox{pique}}
\newcommand{\uparrow}{\mbox{flèche en haut}}
\newcommand{\downarrow}{\mbox{flèche en bas}}
\newcommand{\propto}{\mbox{proptionnel à}}
\newcommand{\partial}{\mbox{d~rond}}
\newcommand{\equiv}{\mbox{identique à}}
\newcommand{\approx}{\mbox{approximativement}}
\newcommand{\otimes}{\mbox{croix rond}}
\newcommand{\oplus}{\mbox{plus rond}}
\newcommand{\cap}{\mbox{inter}}
\newcommand{\cup}{\mbox{union}}
\newcommand{\supset}{\mbox{contient}}
\newcommand{\supseteq}{\mbox{contient ou égal à}}
\newcommand{\notsubset}{\mbox{ne contient pas}}
\newcommand{\subset}{\mbox{inclus dans}}
\newcommand{\subseteq}{\mbox{inclus dans ou égal à}}
\newcommand{\in}{\mbox{appartient à}}
\newcommand{\notin}{\mbox{n'appartient pas à}}
\newcommand{\Uparrow}{\mbox{double flèche en haut}}
\newcommand{\Downarrow}{\mbox{double flèche en bas}}
\newcommand{\@sum}{\mbox{sum}}
\newcommand{\@int}{\mbox{int}}
\newcommand{\lceil}{\mbox{lceil}}
\newcommand{\lfloor}{\mbox{lfloor}}
\newcommand{\rceil}{\mbox{rceil}}
\newcommand{\rfloor}{\mbox{rfloor}}