Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision 5fb17f16502a3ec147bf5fe2feec39570ad82aff)
+++ Jenkins/FullBuild	(revision 986e260a74f77ffdc9d5a0fceaa7788d6664fba4)
@@ -121,5 +121,5 @@
 	def email_subject = "[cforall git][${result}]"
 	def email_body = """<p>This is an automated email from the Jenkins build machine. It was
-generated following the result of the C∀ nightly build.</p>
+generated following the result of the C\u2200 nightly build.</p>
 
 <p>Check console output at ${env.BUILD_URL} to view the results.</p>
Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 5fb17f16502a3ec147bf5fe2feec39570ad82aff)
+++ Jenkinsfile	(revision 986e260a74f77ffdc9d5a0fceaa7788d6664fba4)
@@ -231,5 +231,5 @@
 	def email_body = """<p>This is an automated email from the Jenkins build machine. It was
 generated because of a git hooks/post-receive script following
-a ref change which was pushed to the C∀ repository.</p>
+a ref change which was pushed to the C\u2200 repository.</p>
 """ + GitLogMessage()