Send a message to Lukatex