From 2432f160f8d091108e94f59cc3a8a4c409dbc852 Mon Sep 17 00:00:00 2001 From: Dimitri Sokolyuk Date: Sun, 11 Feb 2018 05:28:05 +0100 Subject: symbols --- parse.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/parse.go b/parse.go index b76e14f..5871315 100644 --- a/parse.go +++ b/parse.go @@ -156,7 +156,7 @@ const ( ) var opcodeNames = []string{ - "T", "N", "T+N", "T&N", "T|N", "T^N", "¬T", "N=T", + "T", "N", "T+N", "T∧N", "T∨N", "T⊻N", "¬T", "N=T", "N