From 0680d479419a41a8ea1dafdd2a0f421d3849a996 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 10 Dec 2012 10:26:55 -0700 Subject: [PATCH] fix comments I had it all backwards: DrRacket went from "increment" to Greek capital delta (which makes a lot more sense). original commit: 490a474e0e4b92af8956cab13d885349053a3973 --- collects/mrlib/tex-table.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt index 6a128739..d66f80ff 100644 --- a/collects/mrlib/tex-table.rkt +++ b/collects/mrlib/tex-table.rkt @@ -92,7 +92,7 @@ ("Lambda" "Λ") ("Sigma" "Σ") ("Psi" "Ψ") - ("Delta" "Δ") ; <- this character is Unicode "increment", not Greek delta + ("Delta" "Δ") ("Xi" "Ξ") ("Upsilon" "Υ") ("Omega" "Ω")