From 2632b37c704f17c78b1dd023e9c9688918b7ee31 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 1 Dec 2009 11:57:27 +0100
Subject: [PATCH] =?utf8?q?Support=20=E2=96=B6=20in=20the=20lambda=20pretty?=
 =?utf8?q?printer.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

We'll have to use the glyph from our roman font, since our sans font
doesn't have it.
---
 pret-lam.lua | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pret-lam.lua b/pret-lam.lua
index 12fa94e..ba3829c 100644
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -29,6 +29,8 @@ local symbols = {
     ['~'] = {repr = '\\HDLine[width=.20 * \\the\\textwidth]'},
     ['|'] = {repr = '\\char' .. utf.byte('|')},
     ['$'] = {repr = '\\char' .. utf.byte('$')},
+    -- Use ▶ from our roman font, since Iwona doesn't have the glyph
+    ['▶'] = {repr = '{\\rm{}▶}'},
 }
 
 -- Keywords that should be bold
-- 
2.30.2