pplatex
bars and overstrike mode
RUN apt-get update && \
apt-get install -y dvipost
RUN apt-get update && \
apt-get install -y dvipost
RUN dnf install -y tetex-dvipost
RUN apt-get update && \
apt-get install -y dvipost