#!/bin/sh

exec sed -e 's/&#8212/--/g
s/&#8594/->/g
s/&#955/lambda/g

# These seem to be for Finnish:
s/Ž/Zh/g
s/š/sh/g'