fix comments

I had it all backwards: DrRacket went from "increment" to Greek
capital delta (which makes a lot more sense).
This commit is contained in:
Matthew Flatt 2012-12-10 10:26:55 -07:00
parent fc112ccd46
commit 490a474e0e
2 changed files with 3 additions and 3 deletions

View File

@ -92,7 +92,7 @@
("Lambda" "Λ")
("Sigma" "Σ")
("Psi" "Ψ")
("Delta" "Δ") ; <- this character is Unicode "increment", not Greek delta
("Delta" "Δ")
("Xi" "Ξ")
("Upsilon" "Υ")
("Omega" "Ω")

View File

@ -853,7 +853,7 @@
[(#\♭) "$\\flat$"]
[(#\♮) "$\\natural$"]
[(#\√) "$\\surd$"]
[(#\Δ) "$\\Delta$"] ; no better mapping for than \Delta for "increment"
[(#\) "$\\Delta$"] ; no better mapping for than \Delta for "increment"
[(#\u2211) "$\\sum$"] ; better than \Sigma, right?
[(#\u220F) "$\\prod$"] ; better than \Pi, right?
[(#\u2210) "$\\coprod$"]
@ -881,7 +881,7 @@
[(#\ξ) "$\\xi$"]
[(#\Γ) "$\\Gamma$"]
[(#\Ψ) "$\\Psi$"]
[(#\) "$\\Delta$"]
[(#\Δ) "$\\Delta$"]
[(#\Ξ) "$\\Xi$"]
[(#\Υ) "$\\Upsilon$"]
[(#\Ω) "$\\Omega$"]