Símbolo de "Cuando...

Question

No he encontrado ninguna en ningún sitio: ¿Existe un símbolo para una condición "cuando" (ejemplo siguiente).

$A=B$ cuando $A$ es incluso

Answer 1

Esto es lo mismo que "Si $A$ es par, entonces $A=B$ ", o simbólicamente " $A$ es incluso $\Rightarrow A=B$ ". Así que, si realmente quisieras mantener el orden tal y como lo tienes, podrías escribir " $A=B \Leftarrow A$ es par", pero corres el riesgo de que los demás no sepan muy bien a qué te refieres.

Answer 2

Es una implicación: ( $A$ es par) implica ( $A=B$ ), o

$$(A \mathrm{\ is\ even})\implies(A=B)$$

Answer 3

Si desea mantenerlos en el orden original, puede escribir " $A = B$ si $A$ es par". Esto es semánticamente lo mismo que las otras respuestas. Por supuesto, "si" no es un símbolo per se, pero bien podría serlo, y es un poco más claro y más directamente lógico que "cuando".

Answer 4

Como se ha dicho, $A=B\Leftarrow A\text{ is even}$ o $A=B\text{ if }A\text{ is even}$ funciona, pero también podemos hacerlo de forma ligeramente diferente; "porque" también significa lo mismo que "si" o "cuando":

$$ A=B\quad\because\,A\text{ is even} $$

Personalmente, veo " $A=B\text{ if }A\text{ is even}$ " (y sí, en realidad lo veo bastante; a mi profesor le gusta enunciar teoremas con "si"), y a mí me gusta explicar por qué me he saltado un montón de pasos en los deberes diciendo "porque" (aunque no suelo usar $\because$ porque se parece mucho a $\therefore$ pero se utiliza mucho menos)