\justhtml{
%%%%%%%%
%% Note that {\overline #1} is not acceptable,
%% because it buggers the baseline of the expression.

\def\barr#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.0ex;
        letter-spacing: -1.2ex;
        right: 1.0ex">&ndash;</span></i>\end{rawhtml}}

\def\Barr#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.3ex;
        letter-spacing: -1.2ex;
        right: 1.0ex">&ndash;</span></i>\end{rawhtml}}

%% same as above, but upright (not italicized)
\def\ubarr#1{\begin{rawhtml}\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.0ex;
        letter-spacing: -0.9ex;
        right: 0.7ex">&ndash;</span>\end{rawhtml}}

\def\uBarr#1{\begin{rawhtml}\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.2ex;
        letter-spacing: -0.9ex;
        right: 1.3ex">&minus;</span>\end{rawhtml}}

\def\xBarr#1{\begin{rawhtml}\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.3ex;
        letter-spacing: -0.9ex;
        right: 0.7ex">&ndash;</span>\end{rawhtml}}

\def\twiddle#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.0ex;
        letter-spacing: -1.2ex;
        right: 1.4ex">~</span></i>\end{rawhtml}}

\def\Twiddle#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.3ex;
        letter-spacing: -1.2ex;
        right: 1.2ex">~</span></i>\end{rawhtml}}

\def\vect#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.0ex;
        letter-spacing: -1.2ex;
        right: 1.2ex">&rarr;</span></i>\end{rawhtml}}

\def\Vect#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.3ex;
        letter-spacing: -1.2ex;
        right: 1.2ex">&rarr;</span></i>\end{rawhtml}}

\def\dott#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 0.8ex;
        letter-spacing: -0.7ex;
        right: -0.1ex">&zwnj;&middot;</span></i>\end{rawhtml}}

\def\Dott#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.15ex;
        letter-spacing: -0.7ex;
        right: 0.1ex">&zwnj;&middot;</span></i>\end{rawhtml}}

\def\ddott#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 0.8ex;
        letter-spacing: -0.2ex;
        right: 0.6ex">&zwnj;&middot;&middot;</span></i>\end{rawhtml}}

\def\Ddott#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 1.15ex;
        letter-spacing: -0.2ex;
        right: 0.6ex">&zwnj;&middot;&middot;</span></i>\end{rawhtml}}

%% html combining circumflex accent:
\def\oldhatt#1{#1\begin{rawhtml}&#x302;\end{rawhtml}}

\def\hatt#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 0.4ex;
        letter-spacing: -1.2ex;
        right: 1.2ex">^</span></i>\end{rawhtml}}

\def\Hatt#1{\begin{rawhtml}<i>\end{rawhtml}#1\begin
{rawhtml}<span style="position: relative;
        bottom: 0.6ex;
        letter-spacing: -1.2ex;
        right: 1.2ex">^</span></i>\end{rawhtml}}


}

\justpdf{
\def\barr#1{{\bar{#1}}}
\def\hatt#1{{\hat{#1}}}
}
