Skip to content

Instantly share code, notes, and snippets.

View squadette's full-sized avatar

Alexey Makhotkin squadette

  • Amsterdam, Netherlands
View GitHub Profile
From 78301914125d420bce49b1ca40001200f6f9ef30 Mon Sep 17 00:00:00 2001
From: Alexey Mahotkin <squadette@gmail.com>
Date: Sun, 3 Oct 2010 18:11:19 +0400
Subject: [PATCH 1/2] Typos
---
.../pgf/text-en/pgfmanual-en-introduction.tex | 2 +-
doc/generic/pgf/text-en/pgfmanual-en-tutorial.tex | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
\begin{equation}
\begin{split}
\graybg{$\code{case (<l$_j$=v$_j$> as T) of <l$_i$=x$_i$>$\Rightarrow$
t$_i{}^{i \in 1..n}$}$} \\
\graybg{$\to [\code{x}_j \mapsto \code{v}_j]\code{t}_j$}
\end{split}
\tag{E-CaseVariant}
\end{equation}