魏焦孝然目其草庐曰蜗牛庐愚以行帐为行窝寻亦号为蜗牛舍云

宴处行窝缩似蜗，推移蜗角叩南华。
调停蛮触将蝴蝶，尽与华胥做一家。
绝辔元期绝战尘，指南犹示指迷津。
未应蛮触相倾地，不属华胥枕上人。