「」 Lingenic
VERSION
(
language
↦
english
)
⊃
software
⊃
file formats
⊃
HSV
⊢
VERSION
(
⤓.txt
≡
◇.txt
)
;
γ ≜ [2026-01-27T070315.751, 2026-01-27T070315.751] ∧ |γ| = 1
1.0