diff options
| -rw-r--r-- | tempo.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -303,7 +303,7 @@ def \context\ `[x] A=.\type\(\me\\axiom\) !\comp\x \comp\(x+A) A` (\context\ B) ^^ context: an axiom, without which, the input axiom cannot be comprehended, but with it, the listener can comprehend the input axiom. -def \nuos\ `[x] A=.\type\(\me\\world\) B=x B\type\\mind\ A^B A` (\nuos\ C) +def \nuos\ `[x] A=.\type\(\me\\world\) B=x B\type\\mind\ A\prop\B A` (\nuos\ C) ^^ nuos: the internal world, context and logic of a specific mind. defines a world which exists inside of another. |