También se utiliza en lógica como abreviatura de la locución “tal que”, siendo ésta una alternativa al empleo de la barra inclinada (/), cuyo significado es el mismo.