This file is indexed.

/usr/share/entity-map/0.1.0/ISOtech.2html is in linuxdoc-tools 0.9.72-4build1.

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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
[aleph ]	ℵ
[and   ]	∧
[ang90 ]	&ang90;
[angsph]	∢
[ap    ]	≈
[becaus]	∵
[bottom]	⊥
[cap   ]	∩
[cong  ]	≅
[conint]	∮
[cup   ]	∪
[equiv ]	≡
[exist ]	∃
[forall]	∀
[fnof  ]	ƒ
[ge    ]	≥
[iff   ]	⇔
[infin ]	∞
[int   ]	∫
[isin  ]	∈
[lang  ]	⟨
[lArr  ]	⇐
[le    ]	≤
[minus ]	−
[mnplus]	∓
[nabla ]	∇
[ne    ]	≠
[ni    ]	∋
[or    ]	∨
[par   ]	∥
[part  ]	∂
[permil]	‰
[perp  ]	⊥
[prime ]	′
[Prime ]	″
[prop  ]	∝
[radic ]	√
[rang  ]	⟩
[rArr  ]	⇒
[sim   ]	∼
[sime  ]	≃
[square]	□
[sub   ]	⊂
[sube  ]	⊆
[sup   ]	⊃
[supe  ]	⊇
[there4]	∴
[Verbar]	‖
[angst ]	Å
[bernou]	ℬ
[compfn]	∘
[Dot   ]	¨
[DotDot]	⃜
[hamilt]	ℋ
[lagran]	ℒ
[lowast]	∗
[notin ]	∉
[order ]	ℴ
[phmmat]	ℳ
[tdot  ]	⃛
[tprime]	‴
[wedgeq]	≙