let is_antiquot s =
                  let len = String.length s in (len > 1) && (s.[0] = '$')