xmonad icon indicating copy to clipboard operation
xmonad copied to clipboard

xmonad in Coq