On some examples of equations defining Shimura curves and the Mumford uniformization