From 2fd4e154842bbc3fe72e5b92bcbf0f6bd648dc64 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Wed, 5 Jul 2017 21:14:05 +0200
Subject: [PATCH] Added some characters

---
 unicode-chars.sty.rkt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/unicode-chars.sty.rkt b/unicode-chars.sty.rkt
index a317b77f..34d53b21 100644
--- a/unicode-chars.sty.rkt
+++ b/unicode-chars.sty.rkt
@@ -339,5 +339,10 @@
 \DeclareUnicodeCharacter{1D50}{\ensuremath{^m}}%                   ᵐ
 \DeclareUnicodeCharacter{2205}{\ensuremath{\emptyset}}%            ∅
 \DeclareUnicodeCharacter{3C3}{\ensuremath{\sigma}}%                σ
+\DeclareUnicodeCharacter{2254}{\ensuremath{\coloneqq}}%            ≔
+\DeclareUnicodeCharacter{2A74}{\ensuremath{\Coloneqq}}%            ⩴
+\DeclareUnicodeCharacter{2184}{\ensuremath{$\reflectbox{$c$}$}}%   ↄ % TODO: \ifmmode
+\DeclareUnicodeCharacter{A7FB}{\ensuremath{$\reflectbox{$F$}$}}%   ꟻ
+\DeclareUnicodeCharacter{A7FB}{\ensuremath{$\raisebox{\depth}{\rotatebox{180}{a}}$}}%   ɐ % TODO: \ifmmode
 \makeatother
 }>>>|)
\ No newline at end of file