From Newsgroup: sci.logic
On 09/28/2026 11:32 AM, Ross Finlayson wrote:
On 06/10/2015 04:50 AM, Justin Thyme wrote:
Charlie-Boo wrote:
The o is instead of the letter that is an o with a line through it
that Wolfram (and many others) use. I don't see it listed in the
Greek alphabet so I can't say what it is, but see Wolfram. What
difference does it make - my keyboard doesn't have Greek letters on it
(or whatever it is.)
So write 'phi'.
Similarly about partial-functions and total-functions and why
many modern proof-assistants' accounts of functions of total
are trivially refutable, similarly the account of why comprehension
after the ordinary always introduces a schema, gives then a
scaffold for the book-keeping of quantifier-disambiguation,
instead of a ladder to be cast down after ascending a fixed-point.
--- Synchronet 3.22a-Linux NewsLink 1.2