diff -r e9c7182affa7 -r f2eb9ac629e4 QTfrontend/hwconsts.cpp.in
--- a/QTfrontend/hwconsts.cpp.in	Tue Nov 09 19:17:53 2010 +0100
+++ b/QTfrontend/hwconsts.cpp.in	Wed Nov 10 00:56:21 2010 +0100
@@ -76,6 +76,12 @@
         "0000000000000000000000000000000000000000000000000"
         "0000000000000205500000040007004000000000200000000"
         "1111111111111111111111111111111111111111111101111"
+        ))
+        << qMakePair(QString("Thinking with Portals"), QString(
+        "9000009002000000002100000000000000110000090000000"
+        "0405040541600655546554464776576666666155510101117"
+        "0000000000000205500000040007004000000000200000000"
+        "1311110312111111123114111111111111111211111101111"
         ));
 
 QColor *colors[] = {