From f4910cf260f90e394757dac5c6fbbe57fa30846c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Tue, 22 Aug 2017 16:22:30 +0200
Subject: [PATCH] Fixed rendering of \triangleright (use the default one
 instead of the one from mathabx)

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

diff --git a/unicode-chars.sty.rkt b/unicode-chars.sty.rkt
index ed2e3b76..f51e11b8 100644
--- a/unicode-chars.sty.rkt
+++ b/unicode-chars.sty.rkt
@@ -36,6 +36,10 @@
 \restoresymbol{ams}{lrcorner}
 \usepackage{mathtools}
 \usepackage{tikz}
+% rename mathabx's version of triangleright
+\let\mathabxtriangleright\triangleright
+% restore symbol overridden by mathabx in Scribble's preamble to the default one
+\def\triangleright{\mathchar"212E}
 \makeatletter
 % Must be loaded after MnSymbol!!! MnSymbol improperly defines × and ¬ in such a
 %   way that they don't work in math mode.