Which rock is used to cut glass?

Usually, diamond-tipped tools are used to mark a cut in glass, then a rubber mallet is used to separate the pieces along the line cut by the tool.