In logic, this operator selects terms from expressions.
The term forming operator
i is used to pick out a (grammatically) singular term referring to a unique item such that some formula is true. That is,
picks out a singular item that refers to the unique
x such that
(…x…) is true. Here,
(…x…) is a sentence containing a
x free. For example,
ix (x is the president of USA in 1999)
refers to Bill Clinton.
This is used in various logics.
'<refnotes> notes-separator: none </refnotes>