From f634c37ee523a9ad83343a1ae2079af98d80ad66 2019-09-03 15:48:55
From: Hugo <hugovk@users.noreply.github.com>
Date: 2019-09-03 15:48:55
Subject: [PATCH] Fix for Python 4

---

diff --git a/tools/gen_latex_symbols.py b/tools/gen_latex_symbols.py
index 038d8ea..2f6d339 100644
--- a/tools/gen_latex_symbols.py
+++ b/tools/gen_latex_symbols.py
@@ -11,7 +11,7 @@
 
 import os, sys
 
-if not sys.version_info[0] == 3:
+if sys.version_info[0] < 3:
     print("This script must be run with Python 3, exiting...")
     sys.exit(1)