Me parece que utilizo mucho la expresión "por la definición de" en mis pruebas, sobre todo después de && en entornos alineados*. Hay algún símbolo que pueda utilizar en su lugar para ser más conciso?
Por ejemplo:
Una vez establecido que $x$ es impar, yo diría $x=2k+1$ para algunos $k\in\mathbb{Z}$ , $\textit{by the definition of odd}$ .
1 votos
¿Puede dar un ejemplo?
0 votos
@MureyTasroc: Por favor, incluya su ejemplo en la propia pregunta . Los comentarios se pasan por alto fácilmente.
1 votos
"es trivial ver que -", "incluso el más aburrido de los lectores puede apreciar que -" son a menudo buenos sustitutos
0 votos
"por la definición de" es lógicamente equivalente a "si y sólo si"
0 votos
He trasladado mi ejemplo a la pregunta
1 votos
$:=$ (es igual a por definición). ¿Es eso lo que buscas?
0 votos
No hay necesidad de tal símbolo. La frase en inglés está bien. A menudo puede omitirse - está claro que está aplicando la definición.