Changed wlp{} symbol and added \wllp{} symbol.