http://tinyurl.com/ms49zw Ultimate tool for #latex : handwrite a symbol, it gives you the command. Thx to @dclauzel for finding it.