I think we should have a mws.sty in this plugin as well. I made one, it is very simple:
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% A style for topics MWS-style query variables
%% Copyright 2014 by Michael Kohlhase (http://kwarc.info/kohlhase), released under the LPPL
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\ProvidesPackage{mws}[2014/05/15 MathWebSearch-style query variables]
\def\qvar#1{\fbox{\textsf{\textcolor{red}{#1}}}}
%% copied from http://www.tex.ac.uk/cgi-bin/texfaq2html?label=activechars
\begingroup\lccode`~=`?\lowercase{\endgroup\def~{\qvar}}
\mathcode`?="8000
please add it. If you have a better way of
I think we should have a
mws.styin this plugin as well. I made one, it is very simple:please add it. If you have a better way of