Rotation about the x-axis (source code)

= Rotation about the x-axis
{title2=$R_x(\alpha)=e^{-i\alpha X/2}$}

= Rotations about the x-axis
{synonym}

The <rotation gate> about the <Pauli X gate> axis commutes with $X$. The <J gate> convention gives $J(\alpha)J(0)=H\operatorname{diag}(1,e^{i\alpha})H=e^{i\alpha/2}R_x(\alpha)$, differing from the standard axis rotation only by <global phase>.