bidirectional arrows

diff --git a/markdown.awk b/markdown.awk
index 60599af75be01440912566a8b0b5349242d34ec6..0ad72f442dab81bc9f4394ca390e2eba60e15a67 100755 (executable)
--- a/markdown.awk
+++ b/markdown.awk
@@ -360,6 +360,9 @@ function inline( line, LOCAL, len, text, code, href, guard, ret ) {
     } else if ( line ~ /^-->( |$)/) {  # ignore multidash-arrow
       ret = ret "-->"; line = substr(line, 4);
       continue;
+    } else if ( line ~ /^<->( |$)/) {
+      ret = ret "&harr;"; line = substr(line, 3);
+      continue;
     } else if ( line ~ /^<-( |$)/) {
       ret = ret "&larr;"; line = substr(line, 3);
       continue;