morestring=[s]{['}{']},
literate=%
{\_}{{\raisebox{.15ex}{\_}}}1
- {~}{{\raisebox{-.6ex}{\textasciitilde}}}1
- {...}{{$\cdots$}}1
+% {\~}{{\raisebox{-.6ex}{\textasciitilde}}}1
+ {~}{{\textasciitilde}}1
+ {...}{{$\cdots$}}3
{->}{{$\shortrightarrow$}}2
{=>}{{$\Rightarrow$}}2
}