# HG changeset patch
# User HackBot
# Date 1457410212 0
# Node ID da0bc331d8a6cd10cd5bc10e3fc1648f8985347d
# Parent  d2f3f6f72552e83deb70fc9e6a7390d9010b5610
<oerjan> ` sed -i "s\'unicode consortium\'Unicode Consortium\'" wisdom/\xf0\x9d\x95\x88

diff -r d2f3f6f72552 -r da0bc331d8a6 wisdom/𝕈
--- a/wisdom/𝕈	Tue Mar 08 03:55:26 2016 +0000
+++ b/wisdom/𝕈	Tue Mar 08 04:10:12 2016 +0000
@@ -1,1 +1,1 @@
-𝕈 would be the set of rational numbers, if the unicode consortium weren't idiots who put it as ℚ.
+𝕈 would be the set of rational numbers, if the Unicode Consortium weren't idiots who put it as ℚ.