Texto y tipografía

Un párrafo normal, justificado y con separación silábica. Las comillas «angulares», las “inglesas” y las ‘simples’ se respetan; los guiones largos —como este— y los rangos 1914–1918 también. Las siglas en mayúsculas, como UNESCO o ADN, pasan solas a versalitas. Hay cursiva, negrita, ambas, tachado, super^índice y sub_índice, además de código en línea.

Un segundo párrafo comienza con sangría, como en un libro. Las cifras de estilo antiguo se notan en números como 1234567890 dentro del texto corrido.

Enlaces

• Wikipedia, con su ícono: teoría de categorías
• GitHub: el código del sitio
• arXiv: Baez & Stay, Rosetta Stone
• Un PDF: Selinger, A survey of graphical languages
• Un DOI: Worrall, 1989
• Interno, a la wiki: Mónadas
• Interno, a otra sección de esta página: ir a Matemáticas

Notas al pie y notas al margen

Las notas se muestran al margen en pantallas anchas y al final en las demás.¹ Una nota larga pone a prueba el recorte y el desplazamiento de las notas al margen.² También hay notas en línea, escritas junto al texto.³

Citas

Una cita en bloque, con su borde y su fondo.

Una cita anidada dentro de la anterior.

Y un tercer nivel.

Listas

• Un elemento
• Otro, con una lista anidada:
  • Primer subelemento
  • Segundo subelemento
    • Y un tercer nivel
• Un último elemento

1. Primero
2. Segundo
   1. Subpaso en numeración romana
   2. Otro subpaso
3. Tercero

Término

Una lista de definiciones: el término y, debajo, su definición.

Otro término

Su definición correspondiente.

Código

Haskell, resaltado con Pygments:

-- | Una mónada sobre una categoría es un monoide en sus endofuntores.
class Applicative m => Monad m where
  (>>=)  :: m a -> (a -> m b) -> m b
  return :: a -> m a
  return = pure

main :: IO ()
main = mapM_ print [x * x | x <- [1 .. 5 :: Int]]

Python:

def fib(n: int) -> int:
    """Fibonacci, en versión iterativa."""
    a, b = 0, 1
    for _ in range(n):
        a, b = b, a + b
    return a

Y un bloque sin lenguaje:

texto preformateado, sin resaltado
    respetando los espacios

Matemáticas

En línea: si \(f : A \to B\) y \(g : B \to C\), entonces \(g \circ f : A \to C\). En bloque:

\[ \mu \circ T\mu = \mu \circ \mu T, \qquad \mu \circ T\eta = \mu \circ \eta T = 1_T \]

Diagramas TikZ

Tablas

Las tablas se pueden ordenar haciendo clic en los encabezados.

Imágenes

Cajas

Matemáticas

Una segunda sección con el mismo nombre, para comprobar que los anclajes de la tabla de contenidos no se confunden.