/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] ≙
|