add default-equiv and some examples in docs