[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] be and being
Hi:
I have been typing quite a lot in Mizar recently and the sheer length
of the tokens 'being' and 'be' sort of bothers me. In addition, MML
has
at least 10554 occurrences of "for ... be ..."
at least 5146 occurrences of "consider ... be ..."
at least 141 occurrences of "given ... be ..."
at least 869 occurrences of "let ... being ..."
It is not particularly important but looks ugly.
Therefore I propose that both 'be' and 'being' have an alias ':'
which is shorter and commonly used in this context in everyday
writing, not to mention some other system that use it.
Cheers,
--
Piotr Rudnicki CompSci, University of Alberta, Edmonton, Canada
http://web.cs.ualberta.ca/~piotr