GEB, стр. 52
Double-entendre: система pr имеет ДВА значения!
p=плюс, r=равняется → ––p–––r––––– = "2+3=5"
p=равняется, r=минус → ––p–––r––––– = "2=5-3"
Оба изоморфизма верны. Глупо спрашивать "истинное" значение.
🌀 Символы могут иметь несколько пассивных значений.