#!/bin/bash sed 's#"html",""#"latex","\\\\Llap\{«\ \}"#g'