1 files changed, 1 insertions, 1 deletions
diff --git a/coqCounter.js b/coqCounter.js
index be06ec4..c3fe612 100644
--- a/coqCounter.js
+++ b/coqCounter.js
@@ -25,7 +25,7 @@
 (function($){
     $.fn.coqCounter = function(output) {
         $(this).change(function(){
-            var regex = /(?:^|\n)([a-z][a-zA-Z_']*|LEM)/g;
+            var regex = /(?:^|\n)([a-z][a-zA-Z0-9_']*|LEM)/g;
             var value = $(this).val();
             var matches = [], i = 0;