He visto las siguientes convenciones, por ejemplo.
- Definimos $K= \mathbb C$ ...
- Definimos $K$ para ser $ \mathbb C$ ...
- Definimos $K:= \mathbb C$ ...
Prefiero el número 3, porque es conciso y está claro lo que se define como qué, de manera similar a un lenguaje de programación cuando se escribe $K \leftarrow\mathbb C$ .
Pero, ¿es ésta una notación comúnmente utilizada o sólo la utilizan unos pocos matemáticos?