Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
Símbolo (4, la letra «iota» del alfabeto griego) para introducir en lógica una descripción definida, que se aplica cuando se cree que sólo hay «un tal y tal» que cumple determinadas condiciones.
cuyo sentido es equivalente a:
idéntico a x)), y x escribió El Quijote". O bien
que también puede leerse: «hay un x tal que: x es el Manco de Lepanto, y todo y que sea Manco de Lepanto es idéntico a x, y x escribió El Quijote».