#!/bin/bash

sed 's#"html","<Llap>"#"latex","\\\\Llap\{«\ \}"#g'| \
    sed 's#"html","<bigskip>"#"latex","\\\\bigskip"#g'| \
    sed 's#"html","<piece>"#"latex","\\\\piece\{"#g' | \
    sed 's#"html","<\/piece>"#"latex","\}"#g'