Буква с паучьими глазами

[metaclass]

https://en.wikipedia.org/wiki/Multiocular_O
Видимо, серафимы - это на самом деле были пришельцы с паучьими глазами.

Comments

[berezovsky.livejournal.com]

Русская азбука упрощается в течение тысячелетий целенаправленно. Раньше с её помощью можно было управлять погодой, перемещаться на большие расстояния и делать прочие чудеса. Потом эти возможности отобралли.

[deni-ok.livejournal.com]

О, использую в Агде:

data Id (A : Set)(x : A) : A → Set where
  refl : Id A x x
-- аксиома K (Streicher 1993)
ꙮ : (A : Set)(x : A)(P : Id A x x → Set) →
    P refl → (p : Id A x x) → P p
ꙮ A x P pr refl = pr
--  refl - единственный элемент типа Id A x x